Function walk_owned_program 

pub fn walk_owned_program<V: OwnedVisitor + ?Sized>(
    visitor: &mut V,
    program: &Program,
) -> ControlFlow<()>

Visits every top-level statement in program.