Module leo_passes::code_generation::visit_program