Function walk_term 

pub fn walk_term<'a, V: Visitor<'a>>(v: &mut V, term: &'a Term<'a>)