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