_0 := x x := _0 + 1 if ( x > 10 ) goto 6 _0 := x x := _0 + 2 if ((t)) goto 2 if ( x > 2 ) goto 9 _0 := x x := _0 * _0 if ((t)) goto 3