Problems with Formal system+briefview VERTICAL_MENU VIEW: view (vertical_menu) not supported for Formal system+briefview