Description
By pre-sizing the Node_Lists created in PhaseChaitin::post_allocate_copy_removal we avoid all re-allocations. If lists are allocated to exactly the size needed we might also reduce memory waste (reducing memory used by these structures by up to half).