subgraph isomorphism, style