println("  public aterm.ATermList insert(aterm.ATerm head) {"); println("    return (aterm.ATermList)" + staticFactoryGetter() + ".make" + className + "((" + elementTypeName + ") head, (" + className + ") this);");
println("  public " + className + " insert(" + elementTypeName + " head) {"); println("    return " + staticFactoryGetter() + ".make" + className + "(head, (" + className + ") this);");
	private void genInsertMethod() {		String className = ListTypeGenerator.className(type);				println("  public aterm.ATermList insert(aterm.ATerm head) {");		println("    return (aterm.ATermList)" + staticFactoryGetter() + ".make" + className + "((" + elementTypeName + ") head, (" + className + ") this);");		println("  }");			}