
  goto_state - Goes to a given state of a trace
     _________________________________________________________________
   
   goto_state [-h] state
   
   Makes state the _current state_. This command is used to navigate
   alongs traces produced by NuSMV. During the navigation, there is a
   _current state_, and the _current trace_ is the trace the _current
   state_ belongs to.
     _________________________________________________________________
   
   Last updated on 990119 20h08
