Implemented property based test