static bool has(S a, S b, S c) {
  //ifclass WebNode
  /*if (true)*/ ret ai_cache_hasTriple(a, b, c);
  /*endif
  fail();*/
}

static bool has(T3<S> t) {
  //ifclass WebNode
  /*if (true)*/ ret ai_cache_hasTriple(t);
  /*endif
  fail();*/
}