pub fn traverse<'a>(
    visitor: &mut impl ASTVisitor<'a>,
    exprs: &'a [SymbolicExpression]
) -> bool