diff --git a/src/pointer-analysis/value_set.cpp b/src/pointer-analysis/value_set.cpp
index 2c41b0484b6..d1a8ef1a079 100644
--- a/src/pointer-analysis/value_set.cpp
+++ b/src/pointer-analysis/value_set.cpp
@@ -1331,12 +1331,7 @@ void value_sett::get_reference_set_rec(
      expr.id()==ID_string_constant ||
      expr.id()==ID_array)
   {
-    if(
-      expr.type().id() == ID_array &&
-      to_array_type(expr.type()).element_type().id() == ID_array)
-      insert(dest, expr);
-    else
-      insert(dest, expr, mp_integer{0});
+    insert(dest, expr, mp_integer{0});
 
     return;
   }