Improve ct code generator

[LuisPH3]

Current code generator cannot deal with the following:

• Overlap from instructions with a location and variables bound to an instruction. They could be solved to the same location, but code generation requires allocation of code for 2 instructions.
• Aliasing of variable bound instructions, two variables could be defined bound to the same instruction, and they could be solved to the same code location, but the solver seems to require two independent locations.