Execution trace updated