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

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