anchor.diff:    if (verbose) {
       writeLibraryToText(program.mainMethod.parent as Library, null);
     }
  +
  +  return CompilerOutcome.Ok;
   }
  
positive.code:       help: 'The transformation to apply.',
        defaultsTo: 'continuation');
  
  main(List<String> args) {
    ArgResults result = parser.parse(args);
  
    if (result.rest.length != 1) {
      throw "Usage:\n${parser.usage}";
    }
  
    var input = result.rest.first;
  
negative.code: // for details. All rights reserved. Use of this source code is governed by a
  // BSD-style license that can be found in the LICENSE file.
  
  import 'dart:async';
  import 'dart:io';
  
  import 'package:args/args.dart';
  import 'package:kernel/kernel.dart';
  import 'package:kernel/checks.dart' as checks;
  import 'package:kernel/transformations/continuation.dart' as cont;
  
  import 'batch_util.dart';
  
  ArgParser parser = new ArgParser()
    ..addOption('format',
  