Reaching Definitions

[z := z*y]4

[yɭ]3

[y := x]1

[z := 1]2

[y := y-1]5

[y := 0]6

(x,?), (y,?), (z,?)

(x,?), (y,1), (z,?)

(x,?), (y,1), (z,2), (y,5), (z,4)

(x,?), (y,1), (z,4), (y,5)

(x,?), (y,5), (z,4)

(x,?), (y,6), (z,2), (z,4)

(x,?), (y,1), (z,2), (y,5), (z,4)