static T3<S> ai_triple_simplifyC(T3<S> t) {
  ret t == null ? null : t3(t.a, t.b, ai_simplifyNP_2(t.c));
}