// Return the set of variables that the instrumentation pass added because of the
// given global variable g. (Its the K copies if g is modified, or it's g itself)
public HashSet <string> getInstrumentedVars(string g)
{
return(inst.getInstrumentedVars(g));
}
