static <A, B> T3<A, B, O> worksOnAllExamples_returnCounterExample(F1<A, B> f, Iterable<Pair<A, B>> examples, F2<O, O, Bool> equalsFunction) {
  for (Pair<A, B> p : unnull(examples)) try {
    O o = callF(f, p.a);
    if (!callF(equalsFunction, p.b, o))
      ret t3(p.a, p.b, o);
  } catch e {
    printShortException(e);
    ret t3(p.a, p.b, (O) e);
  }
  null;
}