static <A> Set<A> createOrAddToCISet(Set<A> set, A a) {
  if (set == null) set = ciSet();
  set.add(a);
  ret set;
}