pub fn simplify_expressions_iter<'a>( expression: impl Iterator<Item = &'a Expression>, ) -> Vec<Expression>