let var x := 2 in (x := 4; x) + x end