diff --git a/src/plugins/value/engine/subdivided_evaluation.ml b/src/plugins/value/engine/subdivided_evaluation.ml
index 57806d98601a89e71b58b76c3ee291bea7225090..8a9e11f7da75422656b6e397593f80a4e2b6fa65 100644
--- a/src/plugins/value/engine/subdivided_evaluation.ml
+++ b/src/plugins/value/engine/subdivided_evaluation.ml
@@ -787,6 +787,9 @@ module Make
                  instead of [expr]. Use [~expr:subexpr], then evaluate [expr]
                  with the reduced valuation, then continue to subdivide. *)
               subdivide ~expr:subexpr ~subexpr >>> fun valuation _ _ ->
+              let valuation =
+                Clear.clear_englobing_exprs valuation ~expr ~subexpr
+              in
               Eva.evaluate context valuation expr >>>
               subdivide_subexpr tail
       in