fn assert_all_zero<I: Into<Self::Expr>>(&mut self, iter: impl IntoIterator<Item = I>) {
        iter.into_iter().for_each(|expr| self.assert_zero(expr));
    }
Asserts that an iterator of expressions are all zero.
crates/stark/src/air/builder.rs