Propositional Model Checking Algorithm Visualizer Reactive Attachment