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

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