fix(code_bmc.ml): fix mode index in variable name
checkpoint