Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 subsumes_list(Arg1, Arg2)

 gen_msg(Arg1, Arg2, Arg3)

 gen_msg(Arg1, Arg2, Arg3, Arg4)

 rlgg(Arg1, Arg2, Arg3)

 rlgg(Arg1, Arg2, Arg3, Arg4)

 covered_clause(Arg1, Arg2)

 covered_clauses(Arg1, Arg2, Arg3, Arg4)

 reduce_complete(Arg1)

 reduce_complete(Arg1, Arg2)

 reduce_approx(Arg1, Arg2)

 buildlgg(Arg1, Arg2, Arg3, Arg4)

 lgg(Arg1, Arg2, Arg3)

 lgg(Arg1, Arg2, Arg3, Arg4)

 lgg(Arg1, Arg2, Arg3, Arg4, Arg5)

 headed_lgg(Arg1, Arg2, Arg3)

 headed_lgg(Arg1, Arg2, Arg3, Arg4)

 headed_lgg(Arg1, Arg2, Arg3, Arg4, Arg5)

 nr_lgg(Arg1, Arg2, Arg3)

 nr_lgg(Arg1, Arg2, Arg3, Arg4)

 nr_lgg(Arg1, Arg2, Arg3, Arg4, Arg5)

 hnr_lgg(Arg1, Arg2, Arg3)

 hnr_lgg(Arg1, Arg2, Arg3, Arg4)

 hnr_lgg(Arg1, Arg2, Arg3, Arg4, Arg5)

 lgg_terms(Arg1, Arg2, Arg3)

 lgg_terms(Arg1, Arg2, Arg3, Arg4, Arg5)

 lgg_terms(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7)

 set_lgg(Arg1, Arg2)

 gti(Arg1, Arg2, Arg3)

 gti(Arg1, Arg2, Arg3, Arg4, Arg5)

 lgti(Arg1, Arg2, Arg3)

 lgti(Arg1, Arg2, Arg3, Arg4, Arg5)

 lgti(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)