diff --git a/kore/src/Kore/Simplify/Not.hs b/kore/src/Kore/Simplify/Not.hs
index 7cd266644e..d02b9e5f52 100644
--- a/kore/src/Kore/Simplify/Not.hs
+++ b/kore/src/Kore/Simplify/Not.hs
@@ -149,7 +149,7 @@ makeEvaluatePredicate
         Conditional
             { term = ()
             , predicate =
-                Predicate.markSimplified $
+                (if Predicate.isSimplifiedAnyCondition predicate then Predicate.markSimplified else id) $
                     makeNotPredicate $
                         makeAndPredicate predicate $
                             Substitution.toPredicate substitution
diff --git a/test/map-symbolic/lookup-14-spec.k.out.golden b/test/map-symbolic/lookup-14-spec.k.out.golden
index 98f5011966..1ad2152864 100644
--- a/test/map-symbolic/lookup-14-spec.k.out.golden
+++ b/test/map-symbolic/lookup-14-spec.k.out.golden
@@ -23,8 +23,8 @@
   {
     true
   #Equals
-    Z:MyId in_keys ( ( MAP
-    X:MyId |-> 1 ) [ Y:MyId <- 2 ] )
+    Z:MyId in_keys ( MAP
+    ( X:MyId |-> 1 ) )
   }
 #And
   {
diff --git a/test/map-symbolic/lookup-3-spec.k.out.golden b/test/map-symbolic/lookup-3-spec.k.out.golden
index f9b7f3e871..d4faa9c904 100644
--- a/test/map-symbolic/lookup-3-spec.k.out.golden
+++ b/test/map-symbolic/lookup-3-spec.k.out.golden
@@ -18,7 +18,7 @@
     true
   #Equals
     Z:MyId in_keys ( MAP
-    ( Y:MyId |-> 2 ) )
+    ( Y:MyId |-> 1 ) )
   }
 #And
   {