Lines Matching full:invariant
2073 // the invariant that instructions only occur in the leader table for their
