Lines Matching full:invariant
1594 // a simplification. This is an important invariant to prevent cyclicly
