static bool is(S a, S b) {
  ifndef NoAI
  if (ai_hasTriple(a, 'is, b)) true;
  endifndef
  false;
}