YES
(ignored inputs)COMMENT the following rules are removed from the original TRS s ( p ( x ) ) -> x p ( s ( x ) ) -> x
: CR

Combined result: CR
/tmp/fileyAavfT.trs: Success(CR)
(0 msec.)