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

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