Added FsCheck tests