Propositional Model Checking Algorithm Visualize Python