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

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