add detector for doing array element stores into an array that appears not to be allocated