private void WriteNode(StringBuilder output, SyntaxTreeNode node, int depth){
		int tempD = depth;
		while (tempD-- > 0) output.append(" ");
		output.append(node.mName + "\n");
		for (int i = 0; i < node.mChildren.size(); ++i){
			WriteNode(output, node.mChildren.get(i), depth + 1);
		}
	}