Add a first quickcheck property to the unit tests