Fixed bugs related to GlobalTerminationCondition