static L<S> notStartingWithIC(Collection<S> l, fS prefix) {
  ret [S s : unnull(l) | !startsWithIC(s, prefix)];
}

static L<S> notStartingWithIC(S prefix, Collection<S> l) {
  ret notStartingWithIC(l, prefix);
}