Apply/Return(n) → Appterm(n)/Return(0) transformation removed from assembler (see #3)