Interval Analysis for Concurrent Trace Programs Using Transaction Sequence Graphs