(let var y := 1 in y end) + (let var z := 2 in z end)