Concuerror debug visualizer