Bugfix: in the case of Graph.getEdge(n1, n2), the dummy edge did not work properly