Subgraph isomorphism found: true
