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

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