// replace variables in edges
// XXX this could take quadratic time. it could be improved easily
for (Edge<Statement,VariableFilter> edge : graph.getOutEdges(s)) {
VariableFilter filter = edge.getData();
for (Variable var : var_alias.getKeys())
if (filter.containsVariable(var))
filter.addVariable(var_alias.getRepresentativeKey(var)); // XXX: no need to remove var?
}
}
}