fix(bmc.ml, bmc.mli): add substitute variable name

forget to transform variable in init formula, fix it this time