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