Function walk_ensures 

pub fn walk_ensures<'v, V: Visitor<'v>>(vis: &mut V, ensures: &'v Ensures)