(motive : Option Lean.Compiler.LCNF.Simp.CtorInfo → Sort u_1) →
  (__discr : Option Lean.Compiler.LCNF.Simp.CtorInfo) →
    ((ctorInfo : Lean.Compiler.LCNF.Simp.CtorInfo) → motive (some ctorInfo)) →
      ((x : Option Lean.Compiler.LCNF.Simp.CtorInfo) → motive x) → motive __discr