let unif (to_purify : bool) (u : term) (v : term) (subs : t_subst list) : t_subst list =
  if !light_unif then
    unif_light to_purify u v subs
  else
    unif_cmp to_purify u v subs