Propositional Model Checking Algorithm Example Flowcharts