Added MapBD in the model checker.