update range value analysis
update shape analysis through array get and set statements