static void ai_spec_groupingPrefix_all(S s) {
  for (S s : allIndexedFullTerms_iterator()) pcall ping {
    ai_spec_groupingPrefix(s);
  }
}