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

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