Fix bug in new HashSet

When you add (+=) already existing element the set size computes incorrectly