remove some unused "resize" of IntervalVector