sbool functionCallableOnAll_nonSynthetic(O f, Iterable args) {
  ret all(args, a -> functionCallableOn_nonSynthetic(f, a));
}