Linear Temporal Logic Visualizer