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