CFG/DFA Check behaviour with no PROCEDURE DIVISION #1502
Description
CFG/DFA algorithms work in presence of a PROCEDURE DIVISION. But a PROCEDURE DIVISION is optional in COBOL. So this particularity must be validated, because NullReferenceException can be thrown..