Lines Matching refs:isKnownNonNegative