public GrammarAST getOptionAST(String key) {
        if ( options==null ) return null;
        return options.get(key);
    }
Gets AST node holding value for option key; ignores default options
 and command-line forced options.
tool/src/org/antlr/v4/tool/ast/GrammarASTWithOptions.java