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