Add: property-based tests