Re: [graph-tool] subgraph_isomorphism bug: misses occurrences