Add some property testing