public void removeEdge(final GraphNode v, final GraphNode w) {
		final Block src = (Block) v;
		final Block dst = (Block) w;

		if (FlowGraph.DEBUG) {
			System.out.println("    REMOVING EDGE " + src + " -> " + dst);
		}

		super.removeEdge(src, dst);

		cleanupEdge(src, dst);
	}