Re: [graph-tool] Strange Results when Filtering Vertices Iteratively