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

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