let var x := 11 in x := x - (if x <> 10 then 1 else 11); when x >= 9 do x := 3; x = 3; x > 3; x < 3 end