Library for property-based test non-functional requirements