(motive : Option (Array Lean.FVarId × Lean.MVarId) × Lean.Meta.Simp.Stats → Sort u_1) →
  (__discr : Option (Array Lean.FVarId × Lean.MVarId) × Lean.Meta.Simp.Stats) →
    ((result? : Option (Array Lean.FVarId × Lean.MVarId)) → (stats : Lean.Meta.Simp.Stats) → motive (result?, stats)) →
      motive __discr