fn when_not<I: Into<Self::Expr>>(&mut self, condition: I) -> FilteredAirBuilder<Self> {
        self.when_ne(condition, Self::F::one())
    }
Returns a sub-builder whose constraints are enforced only when `condition` is not one.
crates/stark/src/air/builder.rs