static LS prefixesInCISet(Set<S> set, S s) {
  ret listIntersectSet(allNemptyPrefixes(s), set);
}