private void genFactoryMakeManyList(String returnTypeName, String methodName, String paramTypeName) { println( "  public " + returnTypeName + ' ' + methodName + '(' + paramTypeName + " head, " + returnTypeName + " tail) {"); println( "    return (" + returnTypeName + ") " + methodName + "((aterm.ATerm) head, (aterm.ATermList) tail, factory.getEmpty());"); println("  }"); println(); }
private void genFactoryMakeManyList( String paramType, String returnTypeName, String methodName, String paramTypeName) { String head;  if (!getConverter().isReserved(paramType)) { head = "(aterm.ATerm) head"; } else if (paramType.equals("int")) { head = "factory.makeInt(head)"; } else if (paramType.equals("real")) { head = "factory.makeReal(head)"; } else if (paramType.equals("str")) { head = "factory.makeAppl(factory.makeAFun(head,0,true))"; } else { head = "head"; }  println( "  public " + returnTypeName + ' ' + methodName + '(' + paramTypeName + " head, " + returnTypeName + " tail) {"); println( "    return (" + returnTypeName + ") " + methodName + "(" + head + ", (aterm.ATermList) tail, factory.getEmpty());"); println("  }"); println(); }
	private void genFactoryMakeManyList(String returnTypeName, String methodName, String paramTypeName) {		println(			"  public "				+ returnTypeName				+ ' '				+ methodName				+ '('				+ paramTypeName				+ " head, "				+ returnTypeName				+ " tail) {");		println(			"    return ("				+ returnTypeName				+ ") "				+ methodName				+ "((aterm.ATerm) head, (aterm.ATermList) tail, factory.getEmpty());");		println("  }");		println();	}