Re: [graph-tool] vertex_label and edge_label in subgraph-isomorphism