Convert quickcheck property functions to doctests