diff --git a/src/plugins/eva/Eva.mli b/src/plugins/eva/Eva.mli
index 5783238d0d87d5c6ba5bf5848dd08b4db256046a..5f683ec3aac7447bb9548056c53a03f26685449c 100644
--- a/src/plugins/eva/Eva.mli
+++ b/src/plugins/eva/Eva.mli
@@ -190,6 +190,7 @@ module Deps: sig
 
   include Datatype.S with type t := t
 
+  val pretty_precise: Format.formatter -> t -> unit
   val pretty_debug: Format.formatter -> t -> unit
 
   (* Constructors *)
diff --git a/src/plugins/eva/types/deps.ml b/src/plugins/eva/types/deps.ml
index 34af195750f23c8e21f9aaaf39a0221ac6f05d68..bfd9904fecca0b2be9dbbaa825a663f56526bd64 100644
--- a/src/plugins/eva/types/deps.ml
+++ b/src/plugins/eva/types/deps.ml
@@ -28,8 +28,10 @@ type deps = Function_Froms.Deps.deps = {
 }
 
 (* Pretty printing of detailed internal representation *)
-let pretty_debug fmt {data; indirect} =
-  match Zone.is_bottom indirect, Zone.is_bottom data with
+let pretty_precise fmt {data; indirect} =
+  let bottom_data = Zone.is_bottom data in
+  let bottom_indirect = Zone.is_bottom indirect in
+  match bottom_indirect, bottom_data with
   | true, true ->
     Format.fprintf fmt "\\nothing"
   | true, false ->
@@ -43,6 +45,8 @@ let pretty_debug fmt {data; indirect} =
       Zone.pretty indirect
       Zone.pretty data
 
+let pretty_debug = pretty_precise
+
 (* Conversion to zone, used by default pretty printing *)
 let to_zone d = Locations.Zone.join d.data d.indirect
 
diff --git a/src/plugins/eva/types/deps.mli b/src/plugins/eva/types/deps.mli
index 922e8e622ad8090b54aabbb30c29012b58791453..e63413d1d8757e52e986f39415ffc34526595403 100644
--- a/src/plugins/eva/types/deps.mli
+++ b/src/plugins/eva/types/deps.mli
@@ -32,6 +32,7 @@ type t = Function_Froms.Deps.deps = {
 
 include Datatype.S with type t := t
 
+val pretty_precise: Format.formatter -> t -> unit
 val pretty_debug: Format.formatter -> t -> unit
 
 (* Constructors *)