small update of shape analysis for array set statement