diff --git a/src/plugins/eva/domains/multidim/abstract_memory.ml b/src/plugins/eva/domains/multidim/abstract_memory.ml
index 9c7eb9074bb06aca0c116847395e9932881ec3d8..6c83443d93f3d7d0a900f97f41625fdaa91055d1 100644
--- a/src/plugins/eva/domains/multidim/abstract_memory.ml
+++ b/src/plugins/eva/domains/multidim/abstract_memory.ml
@@ -26,7 +26,7 @@ open Lattice_bounds
 (* Composition operator for compare function *)
 
 let (<?>) c lcmp =
-  if c = 0 then 0 else Lazy.force lcmp
+  if c <> 0 then c else Lazy.force lcmp
 
 
 (* Imprecise bits abstraction *)
diff --git a/src/plugins/eva/domains/multidim/abstract_structure.ml b/src/plugins/eva/domains/multidim/abstract_structure.ml
index 2dec7b6004d652c25f0822f0447bbbb0198bc9a7..e33eb14eebb740945601bba99527306ac857c16f 100644
--- a/src/plugins/eva/domains/multidim/abstract_structure.ml
+++ b/src/plugins/eva/domains/multidim/abstract_structure.ml
@@ -28,7 +28,7 @@ let no_oracle = fun _exp -> Int_val.top
 (* Composition operator for compare function *)
 
 let (<?>) c lcmp =
-  if c = 0 then 0 else Lazy.force lcmp
+  if c <> 0 then c else Lazy.force lcmp
 
 
 (* ------------------------------------------------------------------------ *)
diff --git a/src/plugins/eva/domains/multidim/segmentation.ml b/src/plugins/eva/domains/multidim/segmentation.ml
index 1b0c1ec71614c26f8c5008ae75f2c6f3f01dcfbf..0f72e70ea4cae0d5462787802a8f2ee0e01ca659 100644
--- a/src/plugins/eva/domains/multidim/segmentation.ml
+++ b/src/plugins/eva/domains/multidim/segmentation.ml
@@ -30,7 +30,7 @@ let no_oracle = fun _exp -> Int_val.top
 (* Composition operator for compare function *)
 
 let (<?>) c lcmp =
-  if c = 0 then 0 else Lazy.force lcmp
+  if c <> 0 then c else Lazy.force lcmp
 
 
 (* ------------------------------------------------------------------------ *)
diff --git a/src/plugins/eva/domains/multidim/typed_memory.ml b/src/plugins/eva/domains/multidim/typed_memory.ml
index e54285b8de279fdd319fd4ea19f5f73588342382..19dd9a146a957823efeab46277509a83dcef8d03 100644
--- a/src/plugins/eva/domains/multidim/typed_memory.ml
+++ b/src/plugins/eva/domains/multidim/typed_memory.ml
@@ -33,7 +33,7 @@ module Bound = Segmentation.Bound
 (* Composition operator for compare function *)
 
 let (<?>) c lcmp =
-  if c = 0 then 0 else Lazy.force lcmp
+  if c <> 0 then c else Lazy.force lcmp
 
 (* Types compatibility *)