Termination of Graph Transformation Systems Using Weighted Subgraph Counting (Logical Methods in Computer Science, 2024)