CI test

Author: ibbem

src/main/java/org/variantsync/diffdetective/variation/diff/construction/GumTreeDiff.java

@@ -93,6 +93,7 @@ public static <B extends VariationNode<B, L>, L extends Label> DiffNode<L> diffU
 
         MappingStore matching = matcher.match(src, dst);
 
+        Assert.assertTrue(matching.has(src, dst));
         // We assume that the root nodes are matched.
         if (!matching.has(src, dst)) {
             if (matching.isSrcMapped(src)) {