return translated;
}
public void addHotspot(Variable var, ValueBox box) {
Variable hotspotValue = createVariable(var.getType());
Hotspot hot = new Hotspot(hotspotValue, var);
currentHotspots.add(new HotspotValueBoxPair(hot, box));
addStatement(hot);
}