update shape analysis for array set statement
need to think about what bound check should we add here,
i.e. to detect whether the original array may be growed
or the indices may not be suitable for indexing this array.