when

TerminationMatcher