added Set.size;
tuned Set.merge: keep larger set stable;