static <A, B> bool worksOnAllExamples(F1<A, B> f, Iterable<Pair<A, B>> examples) {
  for (Pair<A, B> p : unnull(examples)) try {
    if (!eq(p.b, callF(f, p.a))) false;
  } catch e {
    printShortException(e);
    false;
  }
  true;
}