genSeparatorInitAssigmnents(listType);
    protected void genInitHashcodeMethod() {        println(            "  protected void initHashCode(aterm.ATermList annos, aterm.ATerm first, "                + buildFormalSeparatorArguments(listType)                + "aterm.ATermList next) {");        println("    super.initHashCode(annos, first, next);");        println("  }");    }