static bool ai_trivialTriple(T3<S> t) {
  if (t == null) true;
  ret eq(t.b, "?") && eq(t.c, "?");
}