Test case for the buggy commutative cut subterm rule.