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

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