Lines Matching refs:KnownAnd