handle AStore by treating the stmt v1[0] = v2 just like v1.\i = v2