29. The method of claim 28 , wherein the step of building a first non-canonical DFG structure further comprises: constructing a ITE expression from the output elements.
28. The method of claim 1 , further comprising the following steps: representing a first output by an intermediate representation comprising output elements, wherein each output element refers to a non-canonical DFG structure and to a path condition of the input representation; and building a first non-canonical DFG structure, from the intermediate representation, to represent evaluation of the first output.