(motive : Array (Lean.Compiler.LCNF.Alt Lean.Compiler.LCNF.Purity.pure) → Sort u_1) →
  (x : Array (Lean.Compiler.LCNF.Alt Lean.Compiler.LCNF.Purity.pure)) →
    ((ctorName : Lean.Name) →
        (params : Array (Lean.Compiler.LCNF.Param Lean.Compiler.LCNF.Purity.pure)) →
          (k : Lean.Compiler.LCNF.Code Lean.Compiler.LCNF.Purity.pure) →
            motive #[Lean.Compiler.LCNF.Alt.alt ctorName params k ⋯]) →
      ((x : Array (Lean.Compiler.LCNF.Alt Lean.Compiler.LCNF.Purity.pure)) → motive x) → motive x