print_fair_transitions [-h] [-v]
Prints the number of fair transitions. In verbose mode, prints also the list of fair transitions.
Remark: Not really transitions, but rather state_input pairs.
Command Options: