bool read_object_and_link(const std::string &file_name, symbol_tablet &, goto_functionst &, message_handlert &)
reads an object file, and also updates the config
optionalt< goto_modelt > read_goto_binary(const std::string &filename, message_handlert &)
Read a goto binary from a file, but do not update config.