static void ai_callSpeculationFunctionOnAllTerms(fS f) {
  for (S s : indexedFullTerms())
    ai_callSpeculationFunction(f, s);
}