Check for TerminationRequest in Clausifier