RE>This routine returns an Ilist of parent IDs.
If (all), get parents from the whole justification; otherwise
get parents from the first node only.
<A NAME="goal_just"></A><HR><PRE><B>Just goal_just(void);
</B></PRE>This routine builds and returns a justification list for goal.
<A NAME="has_copy_flip_just"></A><HR><PRE><B>BOOL has_copy_flip_just(Topform c);
</B></PRE>Does a clause have justification "copy, flip", and nothing else?
<A NAME="has_copy_just"></A><HR><PRE><B>BOOL has_copy_just(Topform c);
</B></