PRE>Does a clause have justification "copy"?
<A NAME="has_input_just"></A><HR><PRE><B>BOOL has_input_just(Topform c);
</B></PRE>Does a clause have justtification "input"?
<A NAME="input_just"></A><HR><PRE><B>Just input_just(void);
</B></PRE>This routine builds and returns a justification list for input.
<A NAME="instance_just"></A><HR><PRE><B>Just instance_just(Topform parent, Plist pairs);
</B></PRE>This routine builds and returns a justification list for an instance
inference.  The list of pairs is not co