static bool has(S a, S b, S c) {
  ifndef noAI
  if (ai_cache_hasTriple(a, b, c)) true;
  endifndef
  ret false;
}

static bool has(T3<S> t) {
  ifndef noAI
  if (ai_cache_hasTriple(t)) true;
  endifndef
  ret false;
}