static void ai_invalidateTermsStartingWith(S prefix) {
  for (S term : fullIndexedTermsStartingWith(prefix))
    ai_invalidateWholeTerm(term);
}