Lines Matching defs:KnownZero