anchor.diff:    CodeInfoNode({this.description: "", this.generatedCode});
   
     void emitHtml(ProgramInfo programInfo, StringBuffer buffer) {
  +    buffer.write('\n');
       buffer.write(div(description + ' ' +
                        sizeDescription(generatedCode.length, programInfo),
                        cls: 'kind') +
  
positive.code:       }
        buffer.write("</div>");
      } else {
        buffer.writeln(describe);
      }
    }
  }
  
negative.code:         extraString].join(' ');
  
      if (contents != null) {
        buffer.write('\n');
        buffer.write(div("+$describe", cls: "container"));
        buffer.write('\n');
        buffer.write('<div class="contained">');
        if (contents.isEmpty) {
          buffer.writeln("No members");
  