An efficient solution for model checking graph transformation Systems