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