Lines Matching full:invariant
90 /// the expression. KnownOne and KnownZero always follow the invariant that