eq 0 0 true eq 0 s X false eq s X 0 false eq s X s Y eq X Y rm N nil nil rm N add M X ifrm eq N M N add M X ifrm true N add M X rm N X ifrm false N add M X add M rm N X purge nil nil purge add N X add N purge rm N X eq 2 0 0 true 0 s 1 false 0 rm 2 nil 0 add 2 ifrm 3 purge 1 FULL ./TRS/Rubio/elimdupl.trs