Debugged trace generation with calls