Function visit_procedure 

pub fn visit_procedure<V, T>(
    visitor: &mut V,
    procedure: &Procedure,
) -> ControlFlow<T>
where
    V: ?Sized + Visit<T>,