Bugfix: a[i] = 0 with a as an object does not imply 0 -> null
Bugfix: a[i] = 0 with a as an object does not imply 0 -> null

plast-lab/soot,anddann/soot,anddann/soot,cfallin/soot,cfallin/soot,xph906/SootNew,cfallin/soot,plast-lab/soot,anddann/soot,mbenz89/soot,anddann/soot,mbenz89/soot,mbenz89/soot,mbenz89/soot,xph906/SootNew,plast-lab/soot,xph906/SootNew,cfallin/soot,xph906/SootNew