(motive : Lean.Compiler.LCNF.Alt Lean.Compiler.LCNF.Purity.pure → Sort u_1) →
  (x : Lean.Compiler.LCNF.Alt Lean.Compiler.LCNF.Purity.pure) →
    ((code : Lean.Compiler.LCNF.Code Lean.Compiler.LCNF.Purity.pure) → motive (Lean.Compiler.LCNF.Alt.default code)) →
      ((ctorName : Lean.Name) →
          (ps : Array (Lean.Compiler.LCNF.Param Lean.Compiler.LCNF.Purity.pure)) →
            (code : Lean.Compiler.LCNF.Code Lean.Compiler.LCNF.Purity.pure) →
              (h : Lean.Compiler.LCNF.Purity.pure = Lean.Compiler.LCNF.Purity.pure) →
                motive (Lean.Compiler.LCNF.Alt.alt ctorName ps code h)) →
        motive x