If you can think in properties, with or without a property testing library, your tests will support refactoring rather than being a barrier to it. https://medium.com/perplexinomicon-of-philosodad/preparing-to-refactor-with-property-tests-519d6b3c63bf