diff --git a/2ls.inc b/2ls.inc
index ebe8ac0..27a2603 100644
--- a/2ls.inc
+++ b/2ls.inc
@@ -65,7 +65,7 @@ run()
       fi
     fi
   else
-    PROPERTY="$PROPERTY --heap --values-refine --k-induction --competition-mode"
+    PROPERTY="$PROPERTY --heap --arrays --values-refine --k-induction --competition-mode"
 
     # run the tool
     $TOOL_BINARY --graphml-witness $LOG.witness --object-bits $OBJ_BITS $PROPERTY \