Lines Matching defs:isKnownNonZero