is_in_quasiterm_term_subst/ listv_is_in_lv/ nat_complements/ nat_term_eq_quasiterm/ term_unif/