
  add_trans - Modifies the transition relation
     _________________________________________________________________
   
   add_trans [-h] | trans-expression
   
   Modifies the transition relation. trans-expression is evaluated and
   then conjoined with the current transition relation. This command can
   be used only if the partitioning method is Monolithic. This command
   has the same effect of a TRANS statement in the original input file.
   Before executing this command you have to execute the dump_model
   command.
     _________________________________________________________________
   
   Last updated on 990119 20h08
