shape analysis bug fixing
Shape analysis bug fixing - array indexing