static void ai_invalidateTriple(S a, S b, S c) {
  ai_invalidateWebs(ai_cache_findTriple(a, b, c));
}

static void ai_invalidateTriple(TripleWeb t) {
  ai_invalidateWeb(t.globalID());
}