{motive_1 : Lean.Compiler.LCNF.UnreachableBranches.Value → Sort u} →
  (t : Lean.Compiler.LCNF.UnreachableBranches.Value) →
    motive_1 Lean.Compiler.LCNF.UnreachableBranches.Value.bot → (Nat.hasNotBit 1 t.ctorIdx → motive_1 t) → motive_1 t