This is an early-exit pattern. It can be restructured with a PERFORM-through or by wrapping the remaining logic in an IF condition. 2. **(C) Backward branch** -- The `GO TO 1000-LOOP` creates a loop. This should become `PERFORM 1000-LOOP UNTIL WS-EOF-FLAG = 1` with the read and process logic inside.