Structure _If_ Statement

        if(cond)
                goto skip;
        /* cond is false */
        ...
skip:

        if(!cond) {
                /* cond is false */
                ...
        }

Motivation

If-then statements are translated by the compiler as a conditional jump over the statements that constitute the then clause. This refactoring recovers the original control structure.

Mechanics