On Large Execution Traces and Trace Abstraction Techniques