fix cl-quickcheck