enclosing_loop_info = init_enclosing_loop_info