pub fn postorder<F>(program: &Program, visit: F) where F: FnMut(&Term, Option<&Term>),
Perform a postorder traveral of a program’s AST.