teach SCEV that the scale and addition of an inbounds gep don't NSW.