Lines Matching defs:isKnownNegative