let var x:int := 2 in if x = 3 then x + 1 else x + 2 end