implementing a dynamic disabling of the ProgramChecker