ne prints (to stdout) memory usage statistics for data types
associated with the unify package.
<A NAME="subst_changes_term"></A><HR><PRE><B>BOOL subst_changes_term(<A HREF="term.html">Term</A> t, <A HREF="unify.html">Context</A> c);
</B></PRE>This routine checks if a subsitution would change a term, if applied.
<A NAME="undo_subst"></A><HR><PRE><B>void undo_subst(<A HREF="unify.html">Trail</A> tr);
</B></PRE>This routine clears substitution entries recoded in <A HREF="unify.html">Trail</A> tr,
and frees th