static void ai_wrongWeb(S webID) {
  ai_wrongWeb(ai_getWebFromTerm(webID));
}

static S ai_wrongWeb(Web web) {
  if (web == null) null;
  Bool old = setThreadLocal(ai_invalidateWeb_postAntiTriple, true);
  try {
    ret ai_invalidateWeb(web);
  } finally {
    ai_invalidateWeb_postAntiTriple.set(old);
  }
}