Propositional Model Checking Algorithm Example In Java