SCEV: Use I = vector<>.erase(I) to iterate and delete at the same time