public void createEmptyEdge(CFGVertice previousVertice, CFGVertice nextVertice,
List<SimpleName> variablesToRemove) {
assertGraphVertice(previousVertice);
assertGraphVertice(nextVertice);
CFGMultiTargetEdge edge = new EmptyEdge(previousVertice, nextVertice, variablesToRemove);
previousVertice.addEdge(edge);
edges.add(edge);
}