require test-framework-quickcheck2 >=0.2.12.3 for the compatibility with QuickCheck >=2.5