static bool is(S a, S b) {
  ifdef TripleAI
  if (ai_hasTriple(a, 'is, b)) true;
  endifdef
  ret false;
}