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.