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