diff --git a/src/plugins/scope/zones.ml b/src/plugins/scope/zones.ml
index 2a31ef57059930ac2687e3b1e1031598f834940e..a389d0e67f38e3740aa4e939776148a33018281e 100644
--- a/src/plugins/scope/zones.ml
+++ b/src/plugins/scope/zones.ml
@@ -336,14 +336,16 @@ let pretty fmt stmt_zones =
 
        (*~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~*)
 
-let build_zones =
+let build_zones kf stmt lval =
   (* TODO: Journal.register *)
   (* (Datatype.func Kernel_type.kernel_function
                      (Datatype.func Kernel_type.stmt
                         (Datatype.func Kernel_type.lval
                            (Datatype.couple Kernel_type.stmt_set zones_ty)))))
                            *)
-  compute
+  if stmt.preds = []
+  then Stmt.Hptset.empty, Ctx.create 0
+  else compute kf stmt lval
 
 let get_zones =
   (* TODO: Journal.register *)