Lines Matching refs:INVARIANTS