[graph-tool] Bug in Graph pruning?