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

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