static int ai_invalidateTermsContaining(S prefix) {
  int n = 0;
  for (S term : fullIndexedTermsContaining(prefix))
    n += ai_invalidateWholeTerm(term);
  ret n;
}