println("    return insert((" + elementTypeName + ") head);");
println("    return insert((" + elementTypeName + ") " + head + ");");
    protected void genOverrideInsertMethod() {        println("  public aterm.ATermList insert(aterm.ATerm head) {");        println("    return insert((" + elementTypeName + ") head);");        println("  }");        println();    }