Use test-framework-quickcheck2