fixed ConfinementChecker