Undocumented predicates

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

 inverse_substitute(Arg1, Arg2)

 inverse_substitute1(Arg1, Arg2)

 skolems(Arg1, Arg2)

 skolemize(Arg1, Arg2, Arg3)

 skolemize(Arg1, Arg2, Arg3, Arg4)

 deskolemize(Arg1, Arg2, Arg3)

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

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

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

 contains_vars(Arg1, Arg2)

 flagged_contains_vars(Arg1, Arg2, Arg3)

 vars(Arg1, Arg2)

 term_size(Arg1, Arg2)

 replace(Arg1, Arg2, Arg3, Arg4)

 inv_replace(Arg1, Arg2, Arg3, Arg4)

 terms(Arg1, Arg2, Arg3)

 terms(Arg1, Arg2, Arg3, Arg4)

 only_vars(Arg1, Arg2)

 clause_terms(Arg1, Arg2)

 only_vars1(Arg1, Arg2)

 typed_only_vars1(Arg1, Arg2)

 exists_intersect(Arg1, Arg2, Arg3)

 clean_subst(Arg1, Arg2, Arg3)

 findargs(Arg1, Arg2, Arg3)

 allarg(Arg1, Arg2, Arg3, Arg4)