srecord AllElementsSatisfy(O pred) {
  bool check(Iterable l) {
    ret all(pred, l);
  }
}