Test code 'FsCheck example'