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