QuickCheck tests added