static LS prefixesOfIC(Cl<S> l, S x) {
  ret [S s : unnull(l) | swic(x, s)];
}