Describir: Visualizing Logical Correlation in Trace Data for System Debugging.