A Static Analysis Technique for Graph Transformation Systems