static Iterator<S> allIndexedFullTerms_iterator() {
  ret iterator(allIndexedFullTerms());
}