A map with all terminals generated for each production
typedef ProductionTerminals = Map<String, SymbolSet>;