preserve EDGE_DFS_BACK across split_edge