let var y:=x var x:=1 in y end