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