Property-based testing example with Rantly