Re: [graph-tool] Bug in Graph pruning?