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