}
if (head.equals("\"\"")) return "";
if (head.equals("\n")) return "\n";
+ if (head.equals("\t")) return "\t";
if (head.equals("\r")) return "\r";
if (head.equals("SubGrammar")) return GrammarAST.buildFromAST(t.child(0), "s", resolver);
if (head.equals("NonTerminal"))