[SeparateConstOffsetFromGEP] strengthen the inbounds attribute