anchor.diff:    print ("Shutting down");
   
     await analysisServer.shutdown();
  +  await strongAnalysisServer.shutdown();  
     await server.shutdown();
   }
   
  
positive.code:  */
  Future setupTools(String sdkPath) async {
    print("Executing setupTools");
    if (analysisServer != null) await analysisServer.shutdown();
  
    print("SdKPath: $sdkPath");
  
  
negative.code: MockRequestRecorder recorder;
  MockCounter counter;
  analysis_server.AnalysisServerWrapper analysisServer;
  analysis_server.AnalysisServerWrapper strongAnalysisServer;
  
  comp.Compiler compiler;
  
  