SEQ(   MOVE(     TEMP t2,     CONST 3),   MOVE     TEMP t2,     BINOP( PLUS,                 TEMP t2,                 CONST 1 )))
		let   var x := 3 in   x := x + 4; end