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

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