let acceptable_value (sub : t_subst) (var_number : int) (t : term) = let vt = var_type var_number in ((vt = 0) || (vt = (term_type sub t)))