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

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