Lines Matching defs:KnownRHS