sbool ai_nonTrivialTriple(T3<S> t) {
  ret !ai_trivialTriple(t);
}