
  print_reachable_states - Prints the number of reachable states.
     _________________________________________________________________
   
   print_reachable_states [-h]
   
   Prints the number of reachable states of the given model. The
   reachable states are coputed if needed.
     _________________________________________________________________
   
   Last updated on 990119 20h08
