[SD] *created a repository for property based testing from @skipoleschris code.