diff --git a/gradle.properties b/gradle.properties
index 5af85ba3..5fd9e5fe 100644
--- a/gradle.properties
+++ b/gradle.properties
@@ -25,4 +25,4 @@ assertj_version    = 3.21.0
 junit_version      = 5.8.2
 
 # Version of published artifacts
-version            = 7.8.4
+version            = 7.8.5
diff --git a/language/src/main/java/de/monticore/lang/sysmlv2/SysMLv2Tool.java b/language/src/main/java/de/monticore/lang/sysmlv2/SysMLv2Tool.java
index c8960180..98922538 100644
--- a/language/src/main/java/de/monticore/lang/sysmlv2/SysMLv2Tool.java
+++ b/language/src/main/java/de/monticore/lang/sysmlv2/SysMLv2Tool.java
@@ -122,6 +122,15 @@ public void runDefaultCoCos(ASTSysMLModel ast) {
     checker.addCoCo(new SendActionTypeCheck3());
     checker.addCoCo(new AssignActionTypeCheck3());
     checker.addCoCo(new TypeCheck3TransitionGuards());
+    // Check Definitions exist
+    checker.addCoCo(new PartTypeDefinitionExistsCoCo());
+    checker.addCoCo(new RefinementTargetDefinitionExistsCoCo());
+    // Connection CoCos
+    checker.addCoCo(new UniqueSubPartNamesInConnectionCoCo());
+    checker.addCoCo(new QualifiedPortNameExistsCoCo());
+    checker.addCoCo(new SubcomponentOutputConnectionDirectionCoCo());
+    checker.addCoCo(new ParentComponentInputConnectionDirectionCoCo());
+    
     checker.checkAll(ast);
   }
 
@@ -173,16 +182,6 @@ public void runAdditionalCoCos(
     checker.addCoCo(new PortDefinitionExistsCoCo());
     checker.addCoCo(new PartBehaviorCoCo());
 
-    // Check Definitions exist
-    checker.addCoCo(new PartTypeDefinitionExistsCoCo()); 
-    checker.addCoCo(new RefinementTargetDefinitionExistsCoCo()); 
-
-    // Connection CoCos
-    checker.addCoCo(new UniqueSubPartNamesInConnectionCoCo()); 
-    checker.addCoCo(new QualifiedPortNameExistsCoCo()); 
-    checker.addCoCo(new SubcomponentOutputConnectionDirectionCoCo()); 
-    checker.addCoCo(new ParentComponentInputConnectionDirectionCoCo()); 
-
     checker.checkAll(ast);
   }