Develop

Add property based test