Undocumented predicates

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

 collapse_prop(Arg1, Arg2, Arg3, Arg4)

 diff_props(Arg1, Arg2, Arg3)

 get_predname(Arg1, Arg2, Arg3, Arg4)

 get_globname(Arg1, Arg2, Arg3)

 get_propnames(Arg1, Arg2)

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

 checkif_to_lit(Arg1, Arg2, Arg3)

 get_checkc(Arg1, Arg2, Arg3, Arg4)

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

 get_checkif(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7, Arg8)

 get_prop_args(Arg1, Arg2, Arg3)

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

 is_member_prop(Arg1, Arg2)

 is_same_prop(Arg1, Arg2)

 list_to_lits(Arg1, Arg2)

 lists_to_lits(Arg1, Arg2)

 list_to_disj(Arg1, Arg2)

 lists_to_disj(Arg1, Arg2)

 remove_element(Arg1, Arg2, Arg3)

 inliner_decl(Arg1, Arg2, Arg3, Arg4)

 push_flags(Arg1, Arg2, Arg3)

 pop_flags(Arg1, Arg2, Arg3)