public String visitProdNode(ParseTreeProdNode node,Object inheritance)
	throws CopperParserException
	{
		if(isPretty)
		{
			for(int i = 0;i < depthPad;i++) out.print(' ');
			out.print("( ");
			out.print(node.getProd().getName());
			out.print("\n");
			ParseTreeNode[] children = node.getChildren();
			depthPad++;
			for(int i = 0; i < children.length;i++)
			{
				children[i].acceptVisitor(this,null);
			    out.print('\n');
			}
			depthPad--;
			for(int i = 0;i < depthPad;i++) out.print(' ');
			out.print(")");
		}
		else
		{
			out.print("(");
			out.print(node.getProd().getName());
			ParseTreeNode[] children = node.getChildren();
			if(children.length > 0) out.print(' ');
			for(int i = 0; i < children.length;i++)
			{
				children[i].acceptVisitor(this,null);
			    if(i < children.length - 1) out.print(' ');
			}
			out.print(")");
		}
		return null;
	}