Update Partial Reduction Verifier for more precise finding of combinations

dmnverifierapi/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/impl/PartialReductionVerifier.java

@@ -74,14 +74,18 @@ public class PartialReductionVerifier extends AbstractVerifier {
       boolean found = false;
       boolean comb = true;
       // 1. Is subsumption?
-      if (!hasCombination && currentRuleValue.getBoundary()
+      if ((!hasCombination || subsumptionRule == currentRuleValue.getVDmnRule())
+          && currentRuleValue
+          .getBoundary()
           .checkWith(SUBSUMES, currentRuleValueNext.getBoundary())) {
         if (subsumptionRule == null || subsumptionRule == currentRuleValue.getVDmnRule()) {
           subsumptionRule = currentRuleValue.getVDmnRule();
           found = true;
         }
       }
-      if (!hasCombination && currentRuleValueNext.getBoundary()
+      if ((!hasCombination || subsumptionRule == currentRuleValueNext.getVDmnRule())
+          && currentRuleValueNext
+          .getBoundary()
           .checkWith(SUBSUMES, currentRuleValue.getBoundary())) {
         if (subsumptionRule == null || subsumptionRule == currentRuleValueNext.getVDmnRule()) {
           subsumptionRule = currentRuleValueNext.getVDmnRule();