Lines Matching defs:QuickCheckResult