[graph-tool] Purging vertices after filter