let recompute_full_unifier ~(recompute: bool) (raw_context_unifier: raw_context_unifier) : subst =
  recompute_unifier ~recompute:recompute raw_context_unifier