Optimize overlapping

dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/OverlappingRules.java

@@ -77,7 +77,7 @@ public class OverlappingRules extends AbstractVerifier {
               currentBoundsCpy.stream().map(Value::getRuleIdentifier).collect(Collectors.toList()),
               hasOverlap);
         }
-        if (z == sortedBounds.size() && currentBounds.size() > 1) {
+        if ((z == sortedBounds.size() || foundOverlap) && currentBounds.size() > 1) {
           checkForOverlappingRules(
               inputs,
               i + 1,
@@ -93,7 +93,10 @@ public class OverlappingRules extends AbstractVerifier {
 
   private String getMessageText(
       List<RuleIdentifier> currentRuleIdentifiers, boolean isDifferentConclusion) {
-    StringBuilder sb = new StringBuilder("Rules ");
+    StringBuilder sb = new StringBuilder();
+    sb.append("In table ");
+    sb.append(currentRuleIdentifiers.get(0).getTableName());
+    sb.append(" rules ");
     sb.append(
         currentRuleIdentifiers
             .stream()

dmn-verifier-app/src/main/webapp/index.xhtml

@@ -106,7 +106,7 @@
                                     <p:commandButton styleClass="ruleselect-button"
                                                      style="width: 95%;"
                                                      onclick="addHighlightCss(#{results.rulesAsJson});"
-                                                     value="Highlight rules"/>
+                                                     value="Show"/>
                                 </p:column>
                             </p:dataTable>
                         </p:rowExpansion>