add a model checker