go
compute_reachable
print_fair_transitions -v -f csv -o smv_output.tmp
quit