Delete Stump_shift.v