delete some unused options in SummariesEnv
Merge branch 'master' of github.com:xwangsd/Scuba
refactoring
refactoring (rm HeapNode)
refactoring
gain back the precision by partially propagating application locals (tunable)