Perform coverage checking for successful property on statistics.
void collect(java.lang.Object... values)
Call this method to record an entry for statistical data about generated values.
As soon as this method is called at least once in a property method,
the statistical data will be reported after the property has finished.
values - Can be anything. The list of these values is considered
a key for the reported table of frequencies. Constraints:
There must be at least one value
The number of values for the same collector (i.e. same label)
must always be the same in a single property
Values can be null
java.lang.IllegalArgumentException - if one of the constraints on values is violated