Reduce to the max

A cofinal strategy for weakly orthogonal higher-order pattern rewrite systems (WOPRSs).