anchor.diff:    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';
  
positive.code:       abbr: 'o',
        help: 'Output file.',
        defaultsTo: null)
    ..addOption('transformation',
        abbr: 't',
        help: 'The transformation to apply.',
  
negative.code:     writeProgramToBinary(program, output);
    }
  
    if (verbose) {
      writeLibraryToText(program.mainMethod.parent as Library, null);
    }
  }
  