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

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