static void ai_invalidateWholeTerm(S term) {
  for (WebRelation r : web_collectForwardAndBackwardRelations(indexedNodes(term)))
    ai_invalidateWeb(r.web);
}