Propositional Model Checking Algorithm Example Flowchart Programming