Remove cheats and prove conventions on the register allocator