e_level">clause_level</A></TD><TD><A HREF="#get_parajust">get_parajust</A></TD><TD><A HREF="#mark_parents_as_used">mark_parents_as_used</A></TD><TD><A HREF="#sb_xml_write_just">sb_xml_write_just</A></TD>
</TR>
<TR><TD><A HREF="#clausify_just">clausify_just</A></TD><TD><A HREF="#get_parents">get_parents</A></TD><TD><A HREF="#merge_just">merge_just</A></TD><TD><A HREF="#term_to_just">term_to_just</A></TD>
</TR>
<TR><TD><A HREF="#copy_just">copy_just</A></TD><TD><A HREF="#goal_just">goal_just</A></TD><TD><A HR