void remove_exceptions(goto_programt &goto_program, symbol_table_baset &symbol_table, message_handlert &message_handler, remove_exceptions_typest type=remove_exceptions_typest::DONT_REMOVE_INSTANCEOF)
removes throws/CATCH-POP/CATCH-PUSH from a single GOTO program, replacing them with explicit exceptio...