static bool has_verbose(S a, S b, S c) {
  bool has = ai_cache_hasTriple(a, b, c);
  print((has ? "Has: " : "Doesn't have: ") + ai_renderTriple(a, b, c));
  ret has;
}

static bool has_verbose(T3<S> t) {
  ret has_verbose(t.a, t.b, t.c);
}