static LS moveElementToBeginningIC(S a, Collection<S> l) {
  if (!contains(l, a)) ret l;
  ret listPlus_inFront(listMinusElementIC(a, l), a);
}