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