static <A> Collection<A> addAllAndReturn(Collection<A> c, Collection<A> b) {
  if (c != null && b != null) c.addAll(b);
  ret b;
}