Graph Transformation: Graph Conditions and Verification