Add a quickcheck property for pack