static <A> bool removeFromTwoCollections(Cl<A> c1, Cl<A> c2, A a) {
  bool change;
  if (c1 != null && c1.remove(a)) set change;
  if (c2 != null && c2.remove(a)) set change;
  ret change;
}