Extract code for property-based testing to separate file.