nothing
some beta version for not prop locals
merge
Merge branch 'master' of github.com:xwangsd/Scuba
before making a big change of the data structure
Merge branch 'master' of github.com:xwangsd/Scuba
add some codes in mayAlias analysis