adding function to tweak the ProgramChecker, including disabling it