tailrec'd the TerminationMatcher retry
Merge pull request #284 from alissapajer/termination-overflow

tailrec'd the TerminationMatcher retry