static void assertTripleEqicVerbose(T3<S> x, T3<S> y) {
  assertEqualsVerbose((S) null, x, y);
}

static void assertTripleEqicVerbose(S msg, T3<S> x, T3<S> y) {
  if (!tripleEqic(x, y))
    fail((msg != null ? msg + ": " : "") + ai_renderTriple(y) + " != " + ai_renderTriple(x));
  else
    print("OK: " + ai_renderTriple(x));
}

ifclass Scorer
static void assertTripleEqicVerbose(Scorer scorer, T3<S> x, T3<S> y) {
  if (!tripleEqic(x, y)) {
    printIndent(ai_renderTriple(x) + " << wanted");
    printIndent(ai_renderTriple(y) + " << have");
    scorer.add(false);
  } else {
    print("OK: " + ai_renderTriple(x));
    scorer.add(true);
  }
}
endif