{motive : Lean.Server.Watchdog.WorkerState → Sort u} →
  (t : Lean.Server.Watchdog.WorkerState) →
    motive Lean.Server.Watchdog.WorkerState.terminating → (Nat.hasNotBit 4 t.ctorIdx → motive t) → motive t