ustification list for deny.
<A NAME="expand_def_just"></A><HR><PRE><B>Just expand_def_just(Topform tf, Topform def);
</B></PRE>This routine builds and returns a justification list for expand_def.
<A NAME="factor_just"></A><HR><PRE><B>Just factor_just(Topform c, int lit1, int lit2);
</B></PRE>This routine builds and returns a justification list for a factorization.
<A NAME="first_negative_parent"></A><HR><PRE><B>Topform first_negative_parent(Topform c);
</B></PRE><A NAME="flip_just"></A><HR><PRE><B>Just flip