comparing clamp implementations with quickcheck