(motive : Lean.Meta.Simp.Result × Lean.Meta.Simp.Stats → Sort u_1) →
  (__discr : Lean.Meta.Simp.Result × Lean.Meta.Simp.Stats) →
    ((result : Lean.Meta.Simp.Result) → (snd : Lean.Meta.Simp.Stats) → motive (result, snd)) → motive __discr