Lines Matching defs:isKnownNeverZero