
  go - Initializes the system for the verification.
     _________________________________________________________________
   
   go [-h]
   
   This command initializes the system for verification. It is equivalent
   to the command sequence read_model, flatten_hierarchy,
   build_variables, build_model, compute_fairness. If some commands have
   already been executed, then only the remaining ones will be invoked.
   
   Command options:
   
   -h
          Prints the command usage.
     _________________________________________________________________
   
   Last updated on 990119 20h08
