Started to add property tests using FsCheck