public IEnumerable <ISymbol> GetSymbols(Dfa dfa) { return(dfa.GetPayloads().Select(symId => Context.Symbols[symId])); }