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

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