final Collection<Plugging> pluggings, Map<Stmt, ValueBox> stmt2box,
TranslationResult result, XMLGraphBuilder xmlGraphs) {
// link xml gaps to their plug values
Map<ChoiceNode, Set<Plugging>> gap2plug = new HashMap<ChoiceNode, Set<Plugging>>();
for (Plugging plugging : pluggings) {
final AssignStmt statement = plugging.getStmt();
AnalyzeStm analyzeStm = result.getHotspots().get(
stmt2box.get(statement));
if (analyzeStm != null) {
XMLGraph xg = xmlGraphs.getIn(analyzeStm, analyzeStm.getBase());
final GapFinderByName gapFinder = new GapFinderByName(