in z3tracer/src/syntax.rs [213:218]
fn visit(&'a self, f: &mut F) -> Result<(), E> { for x in self { x.visit(f)?; } Ok(()) }