{motive : Lean.Compiler.LCNF.LitValue → Sort u} →
  (t : Lean.Compiler.LCNF.LitValue) →
    ((val : String) → motive (Lean.Compiler.LCNF.LitValue.str val)) →
      ((val : ℕ) → motive (Lean.Compiler.LCNF.LitValue.nat val)) → (Nat.hasNotBit 3 t.ctorIdx → motive t) → motive t