Hello,
Sorry for the late response and thank you for pointing out the issue. We didn’t get any notifications from WordPress about the support issue, now it’s fixed.
The global variable $_wp_registered_nav_menus is a WordPress variable and stores all menus registered using the register_nav_menu() function. I assume that you didn’t have any registered menus.