quickcheck properties for laplace smoothing