renamed "consistency checking" -> "model checking"