static bool is(S a, S b) {
  ret ai_hasTriple(a, 'is, b);
}