@Override
	protected String toString(int indent) {

		String result = toString(indent, "Procedure");
//		// decl
//		return toString(indent, "ProcedureDeclaration\n")
//				+ procHeading.toString(indent + 1) + "\n"
//				+ procBody.toString(indent + 1);
//		// head
//		String str = toString(indent, "ProcedureHeadingNode(" + subject + ")");
		result += "( " + subject + ")\n";
//		if (fparams != null) {
//		    str += "\n" + fparams.toString(indent + 1);
//		}
		if (fparams != null) {
			result += "\n" + fparams.toString(indent + 1);
		}
//		return str;
//		// body
//		String str = toString(indent, "ProcedureBodyNode\n");
//		if(declarations != null)
//			str += declarations.toString(indent+1) + "\n";
		if(declarations != null)
			result += declarations.toString(indent+1) + "\n";
//		if(statseq != null)
//			str += statseq.toString(indent+1) + "\n";
		if(statseq != null)
			result += statseq.toString(indent+1) + "\n";
//		return str;
		
		return result;
	}