10.2.8 Loop Collapse

Sometimes, as the result of other optimizations, the body of a loop becomes vacuous. It may then be removed:

    LOOP
    ENDLOOP              Null