(motive : Lean.Compiler.LCNF.Alt → Sort u_1) →
  (x : Lean.Compiler.LCNF.Alt) →
    ((code : Lean.Compiler.LCNF.Code) → motive (Lean.Compiler.LCNF.Alt.default code)) →
      ((x : Lean.Compiler.LCNF.Alt) → motive x) → motive x