x := x * z
if( a > c ) goto 7
a := 0
a := a + 1
if (a < b) goto 0
b := b - 1
if(b > 0) goto 2
x := a + b