A (sub)graph isomorphism algorithm for matching large graphs | Synapse