[graph-tool] Re: Vertex pointer not updated on graph filtering