read_blif_mv counter.mv
flatten_hierarchy
static_order 
build_partition_mdds
set_init -v 1 
robustness -v 1
build_partition_maigs
conv_bdd_cnf counter.ctl
quit -s
bounded_model_check -m 4 -k 10 -v 1 test.prop