No further manipulation is done with the lists (apart of adding to the result, line 3242), so I assume deep_copy is not needed here.