StateCoverages.java, StreamShuffler.java, IteratorShuffler.java, StreamPeriodicPicker.java, IteratorPeriodicPicker.java and SetStreamFilter_limitSetSize.java implemented - new operators available: [shuffle], [limit_minVariants] and [limit_maxVariants] [ as of corporate bf90d7ca118b17d25472ac91a863f85a9bf919d2 ]