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

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