in z3tracer/src/syntax.rs [225:230]
fn visit(&'a self, f: &mut F) -> Result<(), E> { if let Some(x) = self { x.visit(f)?; } Ok(()) }