anchor.diff:  
   Future<Map> completeSyncy(String src, int offset) async =>
       _complete(src, offset);
  -
  -//procResults(List results) {
  -//  return results.map((r) => r['completion']);
  -//}
   
   dispatchNotification(String event, params) async {
     if (event == "server.error") {
  
positive.code: 
      await server.kill();
      _onErrors.add(null);
      _logger.severe("Analysis server has crashed. CRASH CRASH CRASH $event");
      return;
    }
  
  
negative.code: }
  
  Future<Map> _complete(String src, int offset) async {
    await sendAddOverlay(path, src);
    await analysisComplete.first;
    await sendCompletionGetSuggestions(path, offset);
  