static new ThreadLocal<Set<S>> ai_callSpeculationFunction_functionsCalled;

static void ai_callSpeculationFunction(fS f, fS word) {
  pcall ping {
    collectionAdd(ai_callSpeculationFunction_functionsCalled!, f);
    ai_withMaker(f, r { callMC(f, word) });
  }
}