is a graph double edgedf?