diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/wmm/analysis/NativeRelationAnalysis.java b/dartagnan/src/main/java/com/dat3m/dartagnan/wmm/analysis/NativeRelationAnalysis.java
index e2cf68ff7b..c508bf1cc5 100644
--- a/dartagnan/src/main/java/com/dat3m/dartagnan/wmm/analysis/NativeRelationAnalysis.java
+++ b/dartagnan/src/main/java/com/dat3m/dartagnan/wmm/analysis/NativeRelationAnalysis.java
@@ -875,7 +875,7 @@ public MutableKnowledge visitReadFrom(ReadFrom rf) {
                 EventGraph g = witness.getReadFromKnowledge(program, alias);
                 must.addAll(g);
                 for (Event r : g.getRange()) {
-                    may.removeIf((e1, e2) -> e2 == r);
+                    may.removeIf((e1, e2) -> e2 == r && !g.contains(e1, e2));
                 }
             }
 
diff --git a/svcomp.properties b/svcomp.properties
index c76607de51..eaf61f6a87 100644
--- a/svcomp.properties
+++ b/svcomp.properties
@@ -3,5 +3,3 @@ encoding.integers=true
 svcomp.step=5
 svcomp.umax=27
 witness=graphml
-// We can get rid of the option below once #767 is fixed
-wmm.analysis.extendedRelationAnalysis=false