First commit. Has a few errors, and needs reorganizing.
Merge branch 'master' of https://github.com/keppil/PropertyTester