Does every paragraph have exactly one entry point and one exit point? - Are all file operations checked for status codes? - Are all CALL statements checked for return codes? - Do all arithmetic operations have ON SIZE ERROR clauses where overflow is possible? - Are STRING and UNSTRING operations pro