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
bool read_goto_binary(const std::string &filename, symbol_tablet &, goto_functionst &, message_handlert &)
Read a goto binary from a file, but do not update config.