(let var x := 2 in x end) + 1