x := y + z
z := x + y
w := 3 + x
y := x + z
w := x + y
x := 7 * w
x := z + y