diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/verification/model/ExecutionModelManager.java b/dartagnan/src/main/java/com/dat3m/dartagnan/verification/model/ExecutionModelManager.java
index b064fd3fb3..8c0920c097 100644
--- a/dartagnan/src/main/java/com/dat3m/dartagnan/verification/model/ExecutionModelManager.java
+++ b/dartagnan/src/main/java/com/dat3m/dartagnan/verification/model/ExecutionModelManager.java
@@ -204,7 +204,8 @@ private Relation getRelationWithName(String name) {
         // First check if the original definition is asked.
         if (name.endsWith("#0")) {
             String originalName = name.substring(0, name.lastIndexOf("#"));
-            return wmm.getRelation(originalName);
+            Relation r = wmm.getRelation(originalName);
+            if (r!=null) { return r; }
         }
 
         int maxId = -1;