}*/
cfg.addFilter(resultFilter);
VariableFilter notResult = new VariableFilter(true);
notResult.removeVariable(call.getResult());
graph.addEdge(start, cfg.currentStatement(), notResult);
StatementPair pair = cfg.finish();
for (Edge<Statement,VariableFilter> edge : graph.getInEdges(call)) {
graph.addEdge(edge.getFrom(), pair.first, edge.getData());
}
for (Edge<Statement,VariableFilter> edge : graph.getOutEdges(call)) {
graph.addEdge(pair.last, edge.getTo(), edge.getData());