Added FsCheck