Testing with properties with hypothesis

TODO