Propositional Model Checking Algorithm Example Flowchart