1. saperate between variables & arrays. all arrays located in global
list.
2. finish analysis for multidimesion arrays. thr program shows "Maybe" \
"Definitely" out-of-band errors on both single & multi-dimension arrays.
3. check array access in all possible options: as rvalue \ lvalue of
assignment expression (example a[1]=2), as left\right parameters in
binOp expression (example: a[2]+a[3]), as left\right parameters in
IfCondition (example: if(a[1]<a[2]).