Fix bug in reduction bounds by using symbolic bounds for the rvars

Inside a loop over the reduction domain we still thought the bounds on the
reduction variables was the entire domain.