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

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