(motive : Lean.Compiler.LCNF.Alt Lean.Compiler.LCNF.Purity.impure → Sort u_1) →
  (alt : Lean.Compiler.LCNF.Alt Lean.Compiler.LCNF.Purity.impure) →
    ((info : Lean.Compiler.LCNF.CtorInfo) →
        (k : Lean.Compiler.LCNF.Code Lean.Compiler.LCNF.Purity.impure) →
          motive (Lean.Compiler.LCNF.Alt.ctorAlt info k ⋯)) →
      ((code : Lean.Compiler.LCNF.Code Lean.Compiler.LCNF.Purity.impure) →
          motive (Lean.Compiler.LCNF.Alt.default code)) →
        motive alt