To be clear: looking at those docs I have no idea on how to write a proper property test. :)