Start using property based testing