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

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