ExceptionalLabel label = new ExceptionalLabel(exception);
createEdge(source, sink, label);
}
protected void createEdge(EclipseCFGNode source, EclipseCFGNode sink, Expression switchCase) {
SwitchLabel label = new SwitchLabel(switchCase);
createEdge(source, sink, label);
}