sbool cicOneOf_underCollapse(S s, S... l) {
  for (S x : l) if (cic_underCollapse(s, x)) true; false;
}