change the parameter assignment, modify the weakupdate
before working on java.util.*
skip some repetitive operations for instantiation by building a dependence between locations instn results, constraint instantiation results and summar edges, and put a boolean in SummariesEnv (instnSkip) to control this option