Losless Compaction of Model Execution Traces