propagate updated lower bounds on strided loops to outer levels