anchor.diff:          prefix = token.value.substring(0, position - token.charOffset);
         }
       }
  -    print('Find token took ${sw.elapsedMicroseconds}us.');
  +    printVerbose('Find token took ${sw.elapsedMicroseconds}us.');
       sw.reset();
       if (prefix != null) {
         return queryDartMind(prefix, info).then((String dartMindSuggestion) {
           sw.stop();
           print('Dart Mind ($prefix): $dartMindSuggestion.');
  -        print('Dart Mind took ${sw.elapsedMicroseconds}us.');
  +        printVerbose('Dart Mind took ${sw.elapsedMicroseconds}us.');
           return repeat();
         });
       } else {
  
positive.code: 
  int globalCounter = 0;
  
  /// Iterator for reading lines from [io.stdin].
  class StdinIterator implements Iterator<String> {
    String current;
  
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);
      }
    };
  