fix conditions (add assignment to polymorph registers)