Sample introduction to quickcheck tools