Traces for folded execution