Advanced Property-Based Testing with test.check by Eric Normand