Lines Matching full:invariant
882 // the ones that j produces. In order to keep this invariant, all the
