diff --git a/language-server/src/main/java/de/monticore/lang/sysmlv2/_lsp/language_access/SysMLv2LanguageAccess.java b/language-server/src/main/java/de/monticore/lang/sysmlv2/_lsp/language_access/SysMLv2LanguageAccess.java
index 8a674cd9..64c9c364 100644
--- a/language-server/src/main/java/de/monticore/lang/sysmlv2/_lsp/language_access/SysMLv2LanguageAccess.java
+++ b/language-server/src/main/java/de/monticore/lang/sysmlv2/_lsp/language_access/SysMLv2LanguageAccess.java
@@ -17,14 +17,22 @@ public class SysMLv2LanguageAccess extends SysMLv2LanguageAccessTOP {
   /** Convenience */
   public SysMLv2LanguageAccess()
   {
-    super(new DocumentManager(), new SysMLv2ScopeManager());
+    super(new DocumentManager(), new SysMLv2ScopeManager(), "Default");
   }
 
   public SysMLv2LanguageAccess(
       DocumentManager documentManager,
       SysMLv2ScopeManager scopeManager)
   {
-    super(documentManager, scopeManager);
+    super(documentManager, scopeManager, "Default");
+  }
+
+  public SysMLv2LanguageAccess(
+      DocumentManager documentManager,
+      SysMLv2ScopeManager scopeManager,
+      String cocoCheckerMode)
+  {
+    super(documentManager, scopeManager, cocoCheckerMode);
   }
 
   @Override
diff --git a/language-server/src/main/java/de/monticore/lang/sysmlv2/_lsp/language_access/SysMLv2LspCoCoRunner.java b/language-server/src/main/java/de/monticore/lang/sysmlv2/_lsp/language_access/SysMLv2LspCoCoRunner.java
index 426438ca..3701b97d 100644
--- a/language-server/src/main/java/de/monticore/lang/sysmlv2/_lsp/language_access/SysMLv2LspCoCoRunner.java
+++ b/language-server/src/main/java/de/monticore/lang/sysmlv2/_lsp/language_access/SysMLv2LspCoCoRunner.java
@@ -6,8 +6,9 @@
 import de.se_rwth.commons.logging.Log;
 
 public class SysMLv2LspCoCoRunner extends SysMLv2LspCoCoRunnerTOP {
-  public SysMLv2LspCoCoRunner(DocumentManager documentManager) {
-    super(documentManager);
+
+  public SysMLv2LspCoCoRunner(DocumentManager documentManager, String cocoCheckerMode) {
+    super(documentManager, cocoCheckerMode);
   }
 
   @Override
@@ -17,12 +18,8 @@ public boolean needsSymbols() {
 
   @Override
   public void runAllCoCos(ASTSysMLModel ast){
-    tool.runDefaultCoCos(ast);
-    // Runs additional (verification-specific) CoCos when variable is set.
-    // Defaults to not running them.
-    if(System.getenv("SYSML_ADDITIONAL_COCOS") != null) {
-      tool.runAdditionalCoCos(ast);
-    }
+    super.runAllCoCos(ast);
+    //ignores SYSML_ADDITIONAL_COCOS and SYSML_DEFAULT_COCOS
   }
 
   @Override