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

static TripleWeb ai_invalidateTriple(TripleWeb t) {
  ret t == null ? null : ai_getTriple(ai_invalidateWeb(t.globalID()));
}