Propositional Model Checking Algorithm Example Flowchart Simple