diff --git a/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/models/VerifierType.java b/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/models/VerifierType.java
index a5b43f8da6a05c3cc240fa489ad6a5ffcae6294b..7b89e0c42a8f2faf8f18a0c960b2ab6feb9e7caa 100644
--- a/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/models/VerifierType.java
+++ b/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/models/VerifierType.java
@@ -23,7 +23,8 @@ public enum VerifierType {
       true,
       true,
       false),
-  Equivalent("Checking for semantically equivalent rules.", EquivalentVerifier.class, true, false, false),
+  Equivalent(
+      "Checking for semantically equivalent rules.", EquivalentVerifier.class, true, false, false),
   Overlap("Checking for overlapping rules.", OverlappingVerifier.class, true, true, false),
   Missing("Checking for missing rules.", MissingVerifier.class, true, false, false),
   PartialReduction(
diff --git a/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/SubsumptionVerifier.java b/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/SubsumptionVerifier.java
index dec9fc1a9535df2a4396bc554d562542ad9e72c6..33504f7053b5286f0e8750ccffc7ab4e6334f9f8 100644
--- a/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/SubsumptionVerifier.java
+++ b/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/SubsumptionVerifier.java
@@ -183,13 +183,13 @@ public class SubsumptionVerifier extends AbstractVerifier {
             .sorted()
             .collect(Collectors.joining(", ")));
     if (subsumptionRules.size() > 1) {
-      sb.append("subsume"); //Plural
-    }else{        
-      sb.append(" subsumes rule");    
-    }  
-    
+      sb.append("subsume"); // Plural
+    } else {
+      sb.append(" subsumes rule");
+    }
+
     if (currentRuleIdentifiers.size() > 2) {
-      sb.append("s"); 
+      sb.append("s");
     }
     sb.append(" ");
     sb.append(
diff --git a/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/multitable/MultiTableSubsumptionVerifier.java b/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/multitable/MultiTableSubsumptionVerifier.java
index 54f500e994ce55ea832f4675f6711c9b8d2d24cc..4a9807b3411f5684cceaf4f3224762b659dc04c1 100644
--- a/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/multitable/MultiTableSubsumptionVerifier.java
+++ b/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/multitable/MultiTableSubsumptionVerifier.java
@@ -34,7 +34,7 @@ public class MultiTableSubsumptionVerifier extends SubsumptionVerifier {
       List<Value> subsumptionRules,
       boolean isDifferentConclusion) {
     StringBuilder sb = new StringBuilder();
-    
+
     sb.append("Rule");
     if (subsumptionRules.size() > 1) {
       sb.append("s");
@@ -46,13 +46,13 @@ public class MultiTableSubsumptionVerifier extends SubsumptionVerifier {
             .sorted()
             .collect(Collectors.joining(", ")));
     sb.append("in table ");
-    sb.append(subsumptionRules.get(0).getRuleIdentifier().getTableName());            
+    sb.append(subsumptionRules.get(0).getRuleIdentifier().getTableName());
     if (subsumptionRules.size() > 1) {
       sb.append(" subsume rule");
-    }else{
-        sb.append(" subsumes rule");
-    }   
-    
+    } else {
+      sb.append(" subsumes rule");
+    }
+
     if (currentRuleIdentifiers.size() > 2) {
       sb.append("s");
     }