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)))