sbool anyCic(S s, Iterable<S> l) {
  ret any(l, x -> cic(x, s));
}