diff --git a/chb/app/CHVersion.py b/chb/app/CHVersion.py
index 24e0dd1e..2e488d6e 100644
--- a/chb/app/CHVersion.py
+++ b/chb/app/CHVersion.py
@@ -1 +1 @@
-chbversion: str = "0.3.0-20250624"
+chbversion: str = "0.3.0-20250709"
diff --git a/chb/invariants/XXprUtil.py b/chb/invariants/XXprUtil.py
index 8fb52fc9..b1d37f61 100644
--- a/chb/invariants/XXprUtil.py
+++ b/chb/invariants/XXprUtil.py
@@ -1535,10 +1535,11 @@ def base_ptr_array_offset_to_ast_offset(
     if offset.has_no_offset() and indexxpr.is_integer_constant:
         return (indexxpr, nooffset)
 
-    chklogger.logger.error(
-        "Base ptr array offset %s not yet handled at address %s",
-        str(offset), iaddr)
-    return (astree.mk_integer_constant(0), nooffset)
+    if not anonymous:
+        chklogger.logger.error(
+            "Base ptr array offset %s not yet handled at address %s",
+            str(offset), iaddr)
+    return (astree.mk_temp_lval_expression(), nooffset)
 
 
 def array_offset_to_ast_offset(