static void assertTripleEqicVerbose_multi(Scorer scorer, L<T3<S>> x, T3<S> y) {
  if (!tripleEqicOneOf(y, x)) {
    for i over x:
      printIndent(ai_renderTriple(x.get(i)) + " << wanted" + (l(x) == 1 ? "" : " #" + (i+1)));
    printIndent(ai_renderTriple(y) + " << have");
    scorer.add(false);
  } else {
    print("OK: " + ai_renderTriple(y));
    scorer.add(true);
  }
}