checkNogood & Debug dichotomy should work together