6 calls to
PRINT_BAD

CHECK_OBS
CHECK_OBS
CHECK_OBS
CHECK_COMPLETNESS
CHECK_COMPLETNESS
CHECK_COMPLETNESS