{motive : Lean.Compiler.LCNF.FixedParams.AbsValue → Sort u} →
  (t : Lean.Compiler.LCNF.FixedParams.AbsValue) →
    motive Lean.Compiler.LCNF.FixedParams.AbsValue.top → (Nat.hasNotBit 1 t.ctorIdx → motive t) → motive t