Simplified GlobalTerminationCondition type parameter, fixed tests to work with the new interface.