Added a testing class for ModelChecker.