tried to relax the constraints on the TerminationMatchersSpec