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

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