z := c + d
x := a + b
if (z == x) goto 6
w := w + x
if (t) goto 6
v := v + z
x := a + b