(motive : Lean.Compiler.LCNF.Alt → Sort u_1) →
  (x : Lean.Compiler.LCNF.Alt) →
    ((ctorName : Lean.Name) →
        (params : Array Lean.Compiler.LCNF.Param) →
          (k : Lean.Compiler.LCNF.Code) → motive (Lean.Compiler.LCNF.Alt.alt ctorName params k)) →
      ((k : Lean.Compiler.LCNF.Code) → motive (Lean.Compiler.LCNF.Alt.default k)) → motive x