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