15. The method of claim 14 , further comprising the following steps: representing a first output, for inclusion in the non-canonical DFG structure, 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; identifying a first set of output elements whose path condition intersect with the first path condition; and producing a first multiplexer, for the non-canonical DFG structure, corresponding to the first set of output elements.
15. The method of claim 14 , further comprising the following steps: representing a first output, for inclusion in the non-canonical DFG structure, 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; identifying a first set of output elements whose path condition intersect with the first path condition; and producing a first multiplexer, for the non-canonical DFG structure, corresponding to the first set of output elements. 16. The method of claim 15 , further comprising the following step: adding an output element to the intermediate representation that refers to the first multiplexer and to the first path condition.