Propositional Model Checking Algorithm Example Flowchart Coding