protected void genOverrideInsertMethod() {
private void genOverrideInsertMethod() {
    protected void genOverrideInsertMethod() {        String head = getConverter().makeATermToBuiltinConversion(elementType, "head");        println("  public aterm.ATermList insert(aterm.ATerm head) {");        println("    return insert((" + elementTypeName + ") " + head + ");");        println("  }");        println();    }