fixed the skipped examples in TerminationMatchersSpec