static bool has_verified(Symbol a, Symbol b, Symbol c) {
  ret ai_cache_hasTriple_verified(a, b, c);
}

static bool has_verified(T3<Symbol> t) {
  ret ai_cache_hasTriple_verified(t);
}