private string GetNodeText(PegNode node, string source) { return source.Substring(node.match_.posBeg_, node.match_.Length).Trim(); }