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

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