Lines Matching refs:CheckInvariants