Figure 3

Transformation for anti-pattern (A). Anti-pattern (A) and a semantically-equivalent transformation produced by our approach (to go from $\tilde{w}\mathsf{\text{1}}$ to $\tilde{w}\mathsf{\text{2}}$).