The Control Flow Graph is built. To reflect all possible executions of a Program inside a PROCEDURE DIVISION.