diff --git a/src/arith/int_set.cc b/src/arith/int_set.cc
index 84e5c2f840ce..41b434b08346 100644
--- a/src/arith/int_set.cc
+++ b/src/arith/int_set.cc
@@ -511,7 +511,7 @@ class IntSetAnalyzer::Impl {
   }
 
   IntSet Eval(const PrimExpr& expr) const {
-    return IntervalSetEvaluator(analyzer_, GetCurrentBounds()).Eval(expr);
+    return IntervalSetEvaluator(analyzer_, GetCurrentBounds(), true).Eval(expr);
   }
 
   void Bind(const Var& var, const Range& range, bool allow_override) {