Implication for properties: The resulting property holds if the first
argument is
False (in which case the test case is discarded),
or if the given property holds. Note that using implication carelessly
can severely skew test case distribution: consider using
cover
to make sure that your test data is still good quality.