sbool swicAny(S a, L<S> l) {
  for (S b : l)
    if (swic(a, b)) true;
  false;
}