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

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