First step for automatic FsCheck unittests