1. Fixed neg handling 2. Phi variables to map to generating instr