add quickcheck example