static int ai_invalidateWholeTerm(S term) {
  int n = 0;
  for (WebNode node : indexedNodes(term))
    if (ai_invalidateWeb(node.web) != null) ++n;
  ret n;
}