push before switch back to directed edge (GraphEdge).