sbool threadIsNewOrTerminated(Thread t) {
  ret eqOneOf(t.getState(), Thread.State.NEW, Thread.State.TERMINATED);
}