Tools for property based tests of collections