Lines Matching defs:WidenedChecks