More testing of model checking