Symbol: graph_remove_edge