To do the conversion, Relogix reorganizes the program flow to use natural C constructs such as “if,” “for,” and “case” statements, usually without recourse to “goto.” By analysis of the source program ...