let var x := 7 var y := x var x := y in x + y end