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: