Example of using property-based testing in Rails using the Rantly framework