#25 LONG INFINITY + 1 = -INFINITY -> this

dmnverifierapi/src/main/java/de/unikoblenz/fgbks/base/utils/boundary/bicreater/BiCreaterAppend.java

@@ -11,9 +11,11 @@ import java.util.Optional;
 
 /**
  * The combine creator implementation of {@link BoundaryBiCreaterType#APPEND} for {@link
- * AbstractGrowingBoundary}. <br> The result is a new boundary with the combined range of both
- * boundaries, or an empty optional, if the creation is not possible. Both boundaries are not in
- * contact. <br> In: {@code b1: [10..30[; b2: [30..50]} <br> Out: {@code ]10..50[} <br>
+ * AbstractGrowingBoundary}. <br>
+ * The result is a new boundary with the combined range of both boundaries, or an empty optional, if
+ * the creation is not possible. Both boundaries are not in contact. <br>
+ * In: {@code b1: [10..30[; b2: [30..50]} <br>
+ * Out: {@code ]10..50[} <br>
  */
 public class BiCreaterAppend extends AbstractBoundaryBiCreater<AbstractGrowingBoundary> {
 
@@ -108,6 +110,7 @@ public class BiCreaterAppend extends AbstractBoundaryBiCreater<AbstractGrowingBo
     long b2L = (long) b2.getLowerBound();
     long b2U = (long) b2.getUpperBound();
     if (b1U + 1 == b2L
+        && b1.getMaxValue().compareTo(b1U) != 0
         && b1.getUpperBoundType() == INCLUSIVE
         && b2.getLowerBoundType() == INCLUSIVE) {
       return Optional.of(
@@ -117,6 +120,7 @@ public class BiCreaterAppend extends AbstractBoundaryBiCreater<AbstractGrowingBo
               b1.getLowerBoundType(),
               b2.getUpperBoundType()));
     } else if (b2U + 1 == b1L
+        && b2.getMaxValue().compareTo(b2U) != 0
         && b2.getUpperBoundType() == INCLUSIVE
         && b1.getLowerBoundType() == INCLUSIVE) {
       return Optional.of(