SaveNfg[efg->NFG, file->TEXT] =: NFG
SaveNfg writes nfg to an external savefile file. It is an error if file cannot be opened for writing. Returns nfg.
LoadNfg.