private void genReverse(String typeName) { String decl = typeName + " " + prefix + "reverse" + typeName + "(" +
private void genReverse(String typeId, String typeName) { String decl = typeName + " " + prefix + "reverse" + typeId + "(" +
	private void genReverse(String typeName) {		String decl = typeName + " " + prefix + "reverse" + typeName + "(" +		              typeName + " arg)";		hprintln(decl + ";");		println(decl + " {");		println("  return (" + typeName + ") ATreverse((ATermList) arg);");		println("}");	}