Add QuickCheck test case.(#12)