Added basic model checking