ually compared.  Only the mark is checked.)
<A NAME="renamable_flip_eq_test"></A><HR><PRE><B>BOOL renamable_flip_eq_test(<A HREF="term.html">Term</A> atom);
</B></PRE>Test if a term is a renamable-flip equality atom.
This does not check the flag; it does the complete test.
<A NAME="same_term_structure"></A><HR><PRE><B>BOOL same_term_structure(<A HREF="term.html">Term</A> t1, <A HREF="term.html">Term</A> t2);
</B></PRE>Do terms t1 and t2 have the same structure?  That is, if
we rename all variables to x, are