Speculate in bounds for get/putbyvals with inductive loop variable indices
Closing old bugs assigned to me