
  restore_model - Restores the model after interactive model modification.
     _________________________________________________________________
   
   restore_model [-h]
   
   This command cancels the effects of all add_fairness, add_init and
   add_trans commands issued inside the model inspection session, i.e.
   after the dump_model command.
     _________________________________________________________________
   
   Last updated on 990119 20h08
