deb_term_unif/
end_term_unif/
is_in_quasiterm_term_subst/
listv_is_in_lv/
nat_complements/
nat_term_eq_quasiterm/