Merge pull request #1178 from palkeo/fix_1176

Fix #1176: load map items

mythril/laser/ethereum/state/account.py

@@ -74,7 +74,7 @@ class Storage:
             item = self._sanitize(cast(BitVecFunc, item).input_)
         value = storage[item]
         if (
-            value.value == 0
+            (value.value == 0 or value.value is None)  # 0 for Array, None for K
             and self.address
             and item.symbolic is False
             and self.address.value != 0