static <A> Set<A> initHashSetAndAdd(Set<A> set, A a) {
  if (set == null) set = new HashSet;
  set.add(a);
  ret set;
}