discarded
CheckResult
Exhausted
Falsified
GenException
Ignored
Passed
PropException
Proven
Timeout
drawTree
Tree