Lines Matching refs:isKnownNonZero