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