Problems with Formalization methods VERTICAL_MENU VIEW: view (vertical_menu) not supported for Formalization methods