1. A method of creating constraints for use with object code insertion technology, said method comprising: deriving, by a processor, an A-representation and a B-representation for values produced by execution of instructions of a portion of original object code, wherein prior to object code insertion the A-representation and the B-representation of a value produced by a same instruction are equivalent; identifying, by the processor, equalities between A-representations of values produced by different instructions; and determining, by the processor, constraints from the identified equalities using B-representations; inserting, by the processor, additional object code into the original object code to generate revised object code; and adjusting, by the processor, the revised object code in compliance with the constraints; wherein the constraints are observed in the revised object code after the additional object code is inserted into the original object code.