anchor.diff:  /// Compute [CodeLine]s and [Coverage] for [filename] using the given [options].
   Future<CodeLinesResult> computeCodeLines(
       List<String> options,
  -    String filename) async {
  +    String filename,
  +    {bool addAnnotations: true}) async {
     SourceMapProcessor processor = new SourceMapProcessor(filename);
     List<SourceMapInfo> sourceMapInfoList =
         await processor.process(options, perElement: false);
  
positive.code:   List<String> currentOptions = [];
    List<List<String>> options = [currentOptions];
    int argGroup = 0;
    for (String arg in args) {
      if (arg == '--') {
        currentOptions = [];
        options.add(currentOptions);
        argGroup++;
      } else if (arg.startsWith('-o')) {
        out = arg.substring('-o'.length);
      } else if (arg.startsWith('--out=')) {
  
negative.code:     List<CodeLine> codeLines;
      Coverage coverage = new Coverage();
      List<Annotation> annotations = <Annotation>[];
  
      String code = info.code;
      TraceGraph graph = createTraceGraph(info, coverage);
      if (addAnnotations) {
        Set<js.Node> mappedNodes = new Set<js.Node>();
        for (TraceStep step in graph.steps) {
          int offset;
          if (options.contains(USE_NEW_SOURCE_INFO)) {
            offset = step.offset.subexpressionOffset;
          } else {
            offset = info.jsCodePositions[step.node].startPosition;
          }
          if (offset != null) {
            int id = step.sourceLocation != null
                ? WITH_SOURCE_INFO : WITHOUT_SOURCE_INFO;
            annotations.add(
                new Annotation(id, offset, null));
          }
        }
        if (!options.contains(USE_NEW_SOURCE_INFO)) {
          for (js.Node node in info.nodeMap.nodes) {
            if (!mappedNodes.contains(node)) {
              int offset = info.jsCodePositions[node].startPosition;
              annotations.add(
                          new Annotation(ADDITIONAL_SOURCE_INFO, offset, null));
            }
          }
        }
      }
  