Initial quickcheck version added.