make test
quickcheck should return bool