[graph-tool] subgraph_isomorphism bug: misses occurrences