Improve the successor list update in TailDuplication.cpp.