<A> bool addAndChange(Cl<A> cl, A a) {
  if (cl == null || !cl.add(a)) false;
  change();
  true;
}

svoid clearAndChange(Cl<A> cl) {
  if (cl == null) ret;
  cl.clear();
  change();
}