private void genAppend(String typeName, String elementTypeName) { String decl = typeName + " " + prefix + "append" + typeName + "(" + typeName + " arg, " + elementTypeName + " elem)";
private void genAppend(String typeId, String typeName, String elementTypeId, String elementTypeName) { String decl = typeName + " " + prefix + "append" + typeId + "(" + typeName + " arg, " + elementTypeName + " elem)";
	private void genAppend(String typeName, String elementTypeName) {		String decl = typeName + " " + prefix + "append" + typeName + "(" + typeName + " arg, " + elementTypeName + " elem)";		hprintln(decl + ";");		println(decl + " {");		println("  return (" + typeName + ") ATappend((ATermList) arg, (ATerm) elem);");		println("}");	}