SMS:Model Checker Fix