Candidates for termination-combinators

No candidates exist for termination-combinators. Upload one for this or another package?