please include function evalWithTimeout.

// returns pair(in time, timed out)
static Pair<Set<Thread>> evalWithTimeout_calculations() {
  Set<Thread> all = evalWithTimeout_allThreads;
  Set<Thread> inTime = evalWithTimeout_inTime;
  ret pair(inTime, setMinusSet(all, inTime));
}