read_blif_mv exampleS.mv
init_verify
compute_reach -v 1
print_fairness
lang_empty -d 0
model_check -d 0 affalse
read_fairness exampleS.fair
print_fairness
lang_empty -d 0
model_check -d 0 agtrue
time
quit -s