static int ai_invalidateTermsStartingWith(S prefix) {
  L<S> terms = fullIndexedTermsStartingWith(prefix);
  int n = 0;
  for (S term : terms)
    n += ai_invalidateWholeTerm(term);
  ret n;
}