anchor.diff:    if (position == null) return repeat();
   
     inputProvider(script);
  -  handler(
  -      script, position, position + 1,
  -      'Point of interest. Cursor is immediately before highlighted character.',
  -      api.Diagnostic.HINT);
  +  if (isVerbose) {
  +    handler(
  +        script, position, position + 1,
  +        'Point of interest. '
  +        'Cursor is immediately before highlighted character.',
  +        api.Diagnostic.HINT);
  +  }
   
     Stopwatch sw = new Stopwatch()..start();
   
  
positive.code:     current = io.stdin.readLineSync();
      return true;
    }
  }
  
  main(List<String> arguments) {
  
negative.code:   int counter = ++globalCounter;
    return (Uri uri) {
      if (counter != globalCounter) throw 'Using old provider';
      printVerbose('fake inputProvider#$counter($uri): $poiCount $count');
      if (uri == script) {
        if (poiCount == count) {
          cachedFileName = uri.toFilePath();
          if (count != 0) {
            cachedFileName = '$cachedFileName.$count.dart';
          }
          printVerbose('Not using cached version of $cachedFileName');
          cache = new File(cachedFileName).readAsBytes().then((data) {
            printVerbose('Read file $cachedFileName: ${UTF8.decode(data)}');
            return data;
          });
          count++;
        } else {
          printVerbose('Using cached version of $cachedFileName');
        }
        return cache;
      } else {
        printVerbose('Using original provider for $uri');
        return inputProvider(uri);
      }
    };
  