
  step - Moves to next state in the current trace.
     _________________________________________________________________
   
   step [-h] [-v]
   
   Moves to next state in the _current trace_. If the _current state_ is
   the last state in the trace, then a successor state is generated and
   stored.
   
   Command options:
   
   -v
          Prints the value of all state variables, otherwise it prints
          only the values of the state variables that have changed from
          previous state.
     _________________________________________________________________
   
   Last updated on 990119 20h08
