(motive : Lean.Compiler.LCNF.LetValue → Sort u_1) →
  (x : Lean.Compiler.LCNF.LetValue) →
    ((us : List Lean.Level) →
        (args : Array Lean.Compiler.LCNF.Arg) → motive (Lean.Compiler.LCNF.LetValue.const `Nat.succ us args)) →
      ((x : Lean.Compiler.LCNF.LetValue) → motive x) → motive x