. "If an infinite loop is detected and the loop is a part of a bigger infinite loop (706) already detected, the loop is ignored and control transfers to point A in FIG. 5." . . .