Added a single test under quickcheck.