let same_edge e1 e2 = (edge_key e1 = edge_key e2)