add a fine-grained mem loc instn cache, need to be tested, also fix the unsoundness bug for antlr (because we skip some methods which should be analyzed), this is because there are some locals which we care about flowing into the methods but we thought their summaries are not changed.
Merge branch 'master' of https://github.com/fredfeng/Scuba