The labels for counting trace duplication are now passed along between continuations