Add Quickcheck properties