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