public virtual void SetOption(string key, GrammarAST node) { if (options == null) options = new Dictionary<string, GrammarAST>(); options[key] = node; }