static <A> void addOrRemove(Collection<A> c, A a, bool add) {
  if (add)
    c.add(a);
  else
    c.remove(a);
}