Symbol: graph_add_edge