anchor.diff:          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");
  
positive.code:   CodeInfoNode({this.description: "", this.generatedCode});
  
    void emitHtml(ProgramInfo programInfo, StringBuffer buffer) {
      buffer.write(div(description + ' ' +
                       sizeDescription(generatedCode.length, programInfo),
                       cls: 'kind') +
  
negative.code:   InferredInfoNode({this.name: "", this.description, this.type});
  
    void emitHtml(ProgramInfo programInfo, StringSink buffer) {
      buffer.write('\n');
      buffer.write(
          div('${span("Inferred " + description, cls: "kind")} '
              '${span(esc(name), cls: "name")} '
              '${span(esc(type), cls: "type")} ',
              cls: "attr"));
    }
  }
  
  