A Termination Criterion for Graph Transformations with NACs