static <A> bool remove_trueIfChanged(Cl<A> l, A a) {
  ret l != null && l.remove(a);
}