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

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