Changeset 2993

performance improved: the type inference was inferring
load_code_memory ... in computational positions, duplicating the work
at every step of execution of the assembly code. We now force the use
of the let-in-ed variable