checkTerminationFactory function

Configure consistency checks and adapt penv for terminationConditions.