for (pair<const string, unordered_set<vector<string>>>& productionpair : cfg.getProductions())
    {
        unordered_set<vector<string>> meme = productionpair.second;
        for (vector<string>& body : meme)
        {
            for (auto& body_part : body)
            {
                if (cfg.getTerminals().find(body_part) != cfg.getTerminals().end())
                {
                    body_part = terminal_prefix + body_part;
                }
            }
        }
    }