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

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