static bool ai_hasTriple(S a, S b, S c) {
  ret ai_cache_hasTriple(a, b, c);
}

static bool ai_hasTriple(T3<S> t) {
  ret ai_cache_hasTriple(t);
}