This is an example of using Rantly for property-based testing