let add_edge g vsrc lbl vdst = add_edge_one_dir g.d_graph vsrc vdst lbl; add_edge_one_dir g.co_graph vdst vsrc lbl;