{s t : Lean.Omega.Constraint} →
  {c : Lean.Omega.Coeffs} →
    Lean.Elab.Tactic.Omega.Justification s c →
      Lean.Elab.Tactic.Omega.Justification t c → Lean.Elab.Tactic.Omega.Justification (s.combine t) c