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

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