read_verilog modulo_debug.v
flatten_hierarchy
build_partition_maigs
bmc -k 10 formule.ltl