fix iteration of LazySet (eliminate dupes)