go [-h][-f]
This command initializes the system for verification. It is equivalent to the command sequence read_model, flatten_hierarchy, build_flat_model, encode_variables, build_model.
If some commands have already been executed, then only the remaining ones will be invoked.
Command options: