5. The method as recited in claim 1 , further comprising: an act of generating statements and expressions in the second higher level format to represent one or more additional loops; an act of defining a loop guard variable for each of the one or more additional loops, satisfying a conditional statement for the loop dependent on the value assigned to the loop guard variable for the loop; an act of generating statements and expressions in the second higher level format to represent assignment of values to a plurality of the block guard variables; an act of nesting the assignment of values to each of the pluralist of block guard variables within a first one or more of the conditional statements as appropriate to reconstruct the control flow of the first higher level code; an act of nesting a second one or more conditional statements within each of the one or more additional loops as appropriate to reconstruct the control flow of the first higher level code; and an act of nesting the one or more addition loops in the while statement.
5. The method as recited in claim 1 , further comprising: an act of generating statements and expressions in the second higher level format to represent one or more additional loops; an act of defining a loop guard variable for each of the one or more additional loops, satisfying a conditional statement for the loop dependent on the value assigned to the loop guard variable for the loop; an act of generating statements and expressions in the second higher level format to represent assignment of values to a plurality of the block guard variables; an act of nesting the assignment of values to each of the pluralist of block guard variables within a first one or more of the conditional statements as appropriate to reconstruct the control flow of the first higher level code; an act of nesting a second one or more conditional statements within each of the one or more additional loops as appropriate to reconstruct the control flow of the first higher level code; and an act of nesting the one or more addition loops in the while statement. 7. The method as recited in claim 5 , further comprising an act of converting statements and expressions representing at least one of one or more additional loops into statements and expressions representing an “if” statement.