anchor.diff:      writeProgramToBinary(program, output);
     }
   
  -  // We always dump the main library to stdout.
  -  writeLibraryToText(program.mainMethod.parent as Library, null);
  +  if (verbose) {
  +    writeLibraryToText(program.mainMethod.parent as Library, null);
  +  }
   }
  
positive.code:       abbr: 'o',
        help: 'Output file.',
        defaultsTo: null)
    ..addOption('transformation',
        abbr: 't',
        help: 'The transformation to apply.',
  
negative.code:   var input = result.rest.first;
    var output = result['out'];
    var format = result['format'];
    var verbose = result['verbose'];
  
    if (output == null) {
      output = '${input.substring(0, input.lastIndexOf('.'))}.transformed.dill';
  