Switched tests to property based test