static <A> void setAddAll(Collection<A> a, Collection<A> b) {
  for (A x : b)
    setAdd(a, x);
}