Converted ProblemStats tests to property-driven approach