Propositional Model Checking Algorithm Example Step