
  add_init - Modifies the set of initial states.
     _________________________________________________________________
   
   add_init [-h] | simple-expression
   
   Modifies the initial states. simple-expression is evaluated and
   conjoined with the set of initial states to form the new set of
   initial states. This command has the same effect of an INIT
   declaration in the original input file. Before executing this command
   you have to execute the dump_model command.
     _________________________________________________________________
   
   Last updated on 990119 20h08
