Required Changes to Arr Bounds Inference

[Machiry]

• Make all function calls context-sensitive, as of now we make only certain call-sites (i.e., calls to functions with bounds declaration) context-sensitive but make all of them context-sensitive.
• Refactor GatherTool.cpp

Make these changes after the pull request: #226 is merged.