Add Model Checker