Lines Matching defs:isKnownNonNegative