GuP: Fast Subgraph Matching by Guard-based Pruning | Synapse