Re: [graph-tool] weird in deleting vertices and edges