Quint Visualizer: a GraphViz-like visualizer for Quint traces