YES
(ignored inputs)COMMENT the following rules are removed from the original TRS F ( x , y ) -> c ( A ( ) ) G ( x ) -> x h ( x ) -> c ( x )
: CR

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