Measuring Various Properties of Execution Traces to Help Build Better Trace Analysis Tools | Synapse