let unify_terms ~(recompute:bool) ?(p_preserving: bool = false) =
  unify_terms_ ~recompute:recompute ~p_preserving:p_preserving Subst.empty