diff --git a/mythril/laser/ethereum/instructions.py b/mythril/laser/ethereum/instructions.py
index 8ab3b5a3..e1903c42 100644
--- a/mythril/laser/ethereum/instructions.py
+++ b/mythril/laser/ethereum/instructions.py
@@ -768,10 +768,18 @@ class Instruction:
             size_sym = True
 
         if size_sym:
-            size = (
-                320
-            )  # This excess stuff will get overwritten as memory is dynamically sized
-
+            state.mem_extend(mstart, 1)
+            state.memory[mstart] = global_state.new_bitvec(
+                "calldata_"
+                + str(environment.active_account.contract_name)
+                + "["
+                + str(dstart)
+                + ": + "
+                + str(size)
+                + "]",
+                8,
+            )
+            return [global_state]
         size = cast(int, size)
         if size > 0:
             try:
@@ -1381,15 +1389,7 @@ class Instruction:
                 return self._sload_helper(global_state, str(index))
 
             storage_keys = global_state.environment.active_account.storage.keys()
-            keys = filter(keccak_function_manager.is_keccak, storage_keys)
-            addr = global_state.get_current_instruction()["address"]
-            keccak_keys = [
-                key
-                for key in keys
-                if global_state.environment.active_account.storage.potential_func(
-                    key, addr
-                )
-            ]
+            keccak_keys = list(filter(keccak_function_manager.is_keccak, storage_keys))
 
             results = []  # type: List[GlobalState]
             constraints = []
@@ -1427,16 +1427,11 @@ class Instruction:
         :param constraints:
         :return:
         """
-        address = global_state.get_current_instruction()["address"]
         try:
-            data = global_state.environment.active_account.storage.get(
-                index, addr=address
-            )
+            data = global_state.environment.active_account.storage[index]
         except KeyError:
             data = global_state.new_bitvec("storage_" + str(index), 256)
-            global_state.environment.active_account.storage.put(
-                key=index, value=data, addr=address
-            )
+            global_state.environment.active_account.storage[index] = data
 
         if constraints is not None:
             global_state.mstate.constraints += constraints
@@ -1480,15 +1475,7 @@ class Instruction:
                 return self._sstore_helper(global_state, str(index), value)
 
             storage_keys = global_state.environment.active_account.storage.keys()
-            keccak_keys = list(filter(keccak_function_manager.is_keccak, storage_keys))
-            addr = global_state.get_current_instruction()["address"]
-            keccak_keys = [
-                key
-                for key in keccak_keys
-                if global_state.environment.active_account.storage.potential_func(
-                    key, addr
-                )
-            ]
+            keccak_keys = filter(keccak_function_manager.is_keccak, storage_keys)
 
             results = []  # type: List[GlobalState]
             new = symbol_factory.Bool(False)
@@ -1541,18 +1528,19 @@ class Instruction:
         :param constraint:
         :return:
         """
-        global_state.environment.active_account = deepcopy(
-            global_state.environment.active_account
-        )
-        global_state.accounts[
-            global_state.environment.active_account.address.value
-        ] = global_state.environment.active_account
-        address = global_state.get_current_instruction()["address"]
-        global_state.environment.active_account.storage.put(
-            key=index,
-            value=value if not isinstance(value, Expression) else simplify(value),
-            addr=address,
-        )
+        try:
+            global_state.environment.active_account = deepcopy(
+                global_state.environment.active_account
+            )
+            global_state.accounts[
+                global_state.environment.active_account.address.value
+            ] = global_state.environment.active_account
+
+            global_state.environment.active_account.storage[index] = (
+                value if not isinstance(value, Expression) else simplify(value)
+            )
+        except KeyError:
+            log.debug("Error writing to storage: Invalid index")
 
         if constraint is not None:
             global_state.mstate.constraints.append(constraint)
diff --git a/mythril/laser/ethereum/state/account.py b/mythril/laser/ethereum/state/account.py
index 93b03831..e806a71e 100644
--- a/mythril/laser/ethereum/state/account.py
+++ b/mythril/laser/ethereum/state/account.py
@@ -24,12 +24,8 @@ class Storage:
         self.concrete = concrete
         self.dynld = dynamic_loader
         self.address = address
-        self._storage_opcodes = {}  # type: Dict
 
-    def get(self, item: Union[str, int], addr: int) -> Any:
-        if item not in self._storage_opcodes:
-            self._storage_opcodes[item] = set()
-        self._storage_opcodes[item].add(addr)
+    def __getitem__(self, item: Union[str, int]) -> Any:
         try:
             return self._storage[item]
         except KeyError:
@@ -60,17 +56,9 @@ class Storage:
         )
         return self._storage[item]
 
-    def put(self, key: Union[int, str], value: Any, addr) -> None:
-        if key not in self._storage_opcodes:
-            self._storage_opcodes[key] = set()
-        self._storage_opcodes[key].add(addr)
+    def __setitem__(self, key: Union[int, str], value: Any) -> None:
         self._storage[key] = value
 
-    def potential_func(self, key, opcode) -> bool:
-        if key not in self._storage_opcodes:
-            return False
-        return opcode in self._storage_opcodes[key]
-
     def keys(self) -> KeysView:
         """
 
diff --git a/tests/laser/evm_testsuite/evm_test.py b/tests/laser/evm_testsuite/evm_test.py
index 93e927ed..381438cb 100644
--- a/tests/laser/evm_testsuite/evm_test.py
+++ b/tests/laser/evm_testsuite/evm_test.py
@@ -125,7 +125,7 @@ def test_vmtest(
         account.code = Disassembly(details["code"][2:])
         account.nonce = int(details["nonce"], 16)
         for key, value in details["storage"].items():
-            account.storage.put(int(key, 16), int(value, 16), 10)
+            account.storage[int(key, 16)] = int(value, 16)
 
         world_state.put_account(account)
         account.set_balance(int(details["balance"], 16))
@@ -175,7 +175,7 @@ def test_vmtest(
 
             for index, value in details["storage"].items():
                 expected = int(value, 16)
-                actual = account.storage.get(int(index, 16), 0)
+                actual = account.storage[int(index, 16)]
 
                 if isinstance(actual, Expression):
                     actual = actual.value
diff --git a/tests/laser/state/storage_test.py b/tests/laser/state/storage_test.py
index a0da2c94..35e31df3 100644
--- a/tests/laser/state/storage_test.py
+++ b/tests/laser/state/storage_test.py
@@ -12,7 +12,7 @@ def test_concrete_storage_uninitialized_index(initial_storage, key):
     storage._storage = initial_storage
 
     # Act
-    value = storage.get(key, 0)
+    value = storage[key]
 
     # Assert
     assert value == 0
@@ -25,7 +25,7 @@ def test_symbolic_storage_uninitialized_index(initial_storage, key):
     storage._storage = initial_storage
 
     # Act
-    value = storage.get(key, 0)
+    value = storage[key]
 
     # Assert
     assert isinstance(value, Expression)
@@ -36,10 +36,10 @@ def test_storage_set_item():
     storage = Storage()
 
     # Act
-    storage.put(key=1, value=13, addr=10)
+    storage[1] = 13
 
     # Assert
-    assert storage.get(item=1, addr=10) == 13
+    assert storage[1] == 13
 
 
 def test_storage_change_item():
@@ -47,7 +47,7 @@ def test_storage_change_item():
     storage = Storage()
     storage._storage = {1: 12}
     # Act
-    storage.put(key=1, value=14, addr=10)
+    storage[1] = 14
 
     # Assert
-    assert storage.get(item=1, addr=10) == 14
+    assert storage[1] == 14
diff --git a/tests/testdata/outputs_expected/metacoin.sol.o.graph.html b/tests/testdata/outputs_expected/metacoin.sol.o.graph.html
index 64169495..6ee81b9c 100644
--- a/tests/testdata/outputs_expected/metacoin.sol.o.graph.html
+++ b/tests/testdata/outputs_expected/metacoin.sol.o.graph.html
@@ -24,8 +24,8 @@
 
     <script>
         var options = {"autoResize": true, "edges": {"font": {"align": "horizontal", "background": "none", "color": "#FFFFFF", "face": "arial", "multi": false, "strokeColor": "#ffffff", "strokeWidth": 0, "vadjust": 0}}, "height": "100%", "layout": {"hierarchical": {"blockShifting": true, "direction": "LR", "edgeMinimization": true, "enabled": true, "levelSeparation": 450, "nodeSpacing": 200, "parentCentralization": false, "sortMethod": "directed", "treeSpacing": 100}, "improvedLayout": true}, "manipulation": false, "nodes": {"borderWidth": 1, "borderWidthSelected": 2, "chosen": true, "color": "#000000", "font": {"align": "left", "color": "#FFFFFF"}, "shape": "box"}, "physics": {"enabled": false}, "width": "100%"};
-        var nodes = [{"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "0 PUSH1 0x60\n2 PUSH1 0x40\n4 MSTORE\n5 PUSH1 0x04\n7 CALLDATASIZE\n8 LT\n9 PUSH2 0x004c\n12 JUMPI", "id": "17", "isExpanded": false, "label": "0 PUSH1 0x60\n2 PUSH1 0x40\n4 MSTORE\n5 PUSH1 0x04\n7 CALLDATASIZE\n8 LT\n(click to expand +)", "size": 150, "truncLabel": "0 PUSH1 0x60\n2 PUSH1 0x40\n4 MSTORE\n5 PUSH1 0x04\n7 CALLDATASIZE\n8 LT\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "13 PUSH1 0x00\n15 CALLDATALOAD\n16 PUSH29 0x01000000(...)\n46 SWAP1\n47 DIV\n48 PUSH4 0xffffffff\n53 AND\n54 DUP1\n55 PUSH4 0x27e235e3\n60 EQ\n61 PUSH2 0x0051\n64 JUMPI", "id": "18", "isExpanded": false, "label": "13 PUSH1 0x00\n15 CALLDATALOAD\n16 PUSH29 0x01000000(...)\n46 SWAP1\n47 DIV\n48 PUSH4 0xffffffff\n(click to expand +)", "size": 150, "truncLabel": "13 PUSH1 0x00\n15 CALLDATALOAD\n16 PUSH29 0x01000000(...)\n46 SWAP1\n47 DIV\n48 PUSH4 0xffffffff\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "76 JUMPDEST\n77 PUSH1 0x00\n79 DUP1\n80 REVERT", "id": "19", "isExpanded": false, "label": "76 JUMPDEST\n77 PUSH1 0x00\n79 DUP1\n80 REVERT", "size": 150, "truncLabel": "76 JUMPDEST\n77 PUSH1 0x00\n79 DUP1\n80 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "65 DUP1\n66 PUSH4 0x412664ae\n71 EQ\n72 PUSH2 0x009e\n75 JUMPI", "id": "20", "isExpanded": false, "label": "65 DUP1\n66 PUSH4 0x412664ae\n71 EQ\n72 PUSH2 0x009e\n75 JUMPI", "size": 150, "truncLabel": "65 DUP1\n66 PUSH4 0x412664ae\n71 EQ\n72 PUSH2 0x009e\n75 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "81 JUMPDEST\n82 CALLVALUE\n83 ISZERO\n84 PUSH2 0x005c\n87 JUMPI", "id": "21", "isExpanded": false, "label": "81 JUMPDEST\n82 CALLVALUE\n83 ISZERO\n84 PUSH2 0x005c\n87 JUMPI", "size": 150, "truncLabel": "81 JUMPDEST\n82 CALLVALUE\n83 ISZERO\n84 PUSH2 0x005c\n87 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "88 PUSH1 0x00\n90 DUP1\n91 REVERT", "id": "22", "isExpanded": false, "label": "88 PUSH1 0x00\n90 DUP1\n91 REVERT", "size": 150, "truncLabel": "88 PUSH1 0x00\n90 DUP1\n91 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "92 JUMPDEST\n93 PUSH2 0x0088\n96 PUSH1 0x04\n98 DUP1\n99 DUP1\n100 CALLDATALOAD\n101 PUSH20 0xffffffff(...)\n122 AND\n123 SWAP1\n124 PUSH1 0x20\n126 ADD\n127 SWAP1\n128 SWAP2\n129 SWAP1\n130 POP\n131 POP\n132 PUSH2 0x00f8\n135 JUMP", "id": "23", "isExpanded": false, "label": "92 JUMPDEST\n93 PUSH2 0x0088\n96 PUSH1 0x04\n98 DUP1\n99 DUP1\n100 CALLDATALOAD\n(click to expand +)", "size": 150, "truncLabel": "92 JUMPDEST\n93 PUSH2 0x0088\n96 PUSH1 0x04\n98 DUP1\n99 DUP1\n100 CALLDATALOAD\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "248 JUMPDEST\n249 PUSH1 0x00\n251 PUSH1 0x20\n253 MSTORE\n254 DUP1\n255 PUSH1 0x00\n257 MSTORE\n258 PUSH1 0x40\n260 PUSH1 0x00\n262 SHA3\n263 PUSH1 0x00\n265 SWAP2\n266 POP\n267 SWAP1\n268 POP\n269 SLOAD\n270 DUP2\n271 JUMP", "id": "24", "isExpanded": false, "label": "248 JUMPDEST\n249 PUSH1 0x00\n251 PUSH1 0x20\n253 MSTORE\n254 DUP1\n255 PUSH1 0x00\n(click to expand +)", "size": 150, "truncLabel": "248 JUMPDEST\n249 PUSH1 0x00\n251 PUSH1 0x20\n253 MSTORE\n254 DUP1\n255 PUSH1 0x00\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "136 JUMPDEST\n137 PUSH1 0x40\n139 MLOAD\n140 DUP1\n141 DUP3\n142 DUP2\n143 MSTORE\n144 PUSH1 0x20\n146 ADD\n147 SWAP2\n148 POP\n149 POP\n150 PUSH1 0x40\n152 MLOAD\n153 DUP1\n154 SWAP2\n155 SUB\n156 SWAP1\n157 RETURN", "id": "25", "isExpanded": false, "label": "136 JUMPDEST\n137 PUSH1 0x40\n139 MLOAD\n140 DUP1\n141 DUP3\n142 DUP2\n(click to expand +)", "size": 150, "truncLabel": "136 JUMPDEST\n137 PUSH1 0x40\n139 MLOAD\n140 DUP1\n141 DUP3\n142 DUP2\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "76 JUMPDEST\n77 PUSH1 0x00\n79 DUP1\n80 REVERT", "id": "26", "isExpanded": false, "label": "76 JUMPDEST\n77 PUSH1 0x00\n79 DUP1\n80 REVERT", "size": 150, "truncLabel": "76 JUMPDEST\n77 PUSH1 0x00\n79 DUP1\n80 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "158 JUMPDEST\n159 CALLVALUE\n160 ISZERO\n161 PUSH2 0x00a9\n164 JUMPI", "id": "27", "isExpanded": false, "label": "158 JUMPDEST\n159 CALLVALUE\n160 ISZERO\n161 PUSH2 0x00a9\n164 JUMPI", "size": 150, "truncLabel": "158 JUMPDEST\n159 CALLVALUE\n160 ISZERO\n161 PUSH2 0x00a9\n164 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "165 PUSH1 0x00\n167 DUP1\n168 REVERT", "id": "28", "isExpanded": false, "label": "165 PUSH1 0x00\n167 DUP1\n168 REVERT", "size": 150, "truncLabel": "165 PUSH1 0x00\n167 DUP1\n168 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "169 JUMPDEST\n170 PUSH2 0x00de\n173 PUSH1 0x04\n175 DUP1\n176 DUP1\n177 CALLDATALOAD\n178 PUSH20 0xffffffff(...)\n199 AND\n200 SWAP1\n201 PUSH1 0x20\n203 ADD\n204 SWAP1\n205 SWAP2\n206 SWAP1\n207 DUP1\n208 CALLDATALOAD\n209 SWAP1\n210 PUSH1 0x20\n212 ADD\n213 SWAP1\n214 SWAP2\n215 SWAP1\n216 POP\n217 POP\n218 PUSH2 0x0110\n221 JUMP", "id": "29", "isExpanded": false, "label": "169 JUMPDEST\n170 PUSH2 0x00de\n173 PUSH1 0x04\n175 DUP1\n176 DUP1\n177 CALLDATALOAD\n(click to expand +)", "size": 150, "truncLabel": "169 JUMPDEST\n170 PUSH2 0x00de\n173 PUSH1 0x04\n175 DUP1\n176 DUP1\n177 CALLDATALOAD\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "272 JUMPDEST\n273 PUSH1 0x00\n275 DUP2\n276 PUSH1 0x00\n278 DUP1\n279 CALLER\n280 PUSH20 0xffffffff(...)\n301 AND\n302 PUSH20 0xffffffff(...)\n323 AND\n324 DUP2\n325 MSTORE\n326 PUSH1 0x20\n328 ADD\n329 SWAP1\n330 DUP2\n331 MSTORE\n332 PUSH1 0x20\n334 ADD\n335 PUSH1 0x00\n337 SHA3\n338 SLOAD\n339 LT\n340 ISZERO\n341 PUSH2 0x0161\n344 JUMPI", "id": "30", "isExpanded": false, "label": "272 JUMPDEST\n273 PUSH1 0x00\n275 DUP2\n276 PUSH1 0x00\n278 DUP1\n279 CALLER\n(click to expand +)", "size": 150, "truncLabel": "272 JUMPDEST\n273 PUSH1 0x00\n275 DUP2\n276 PUSH1 0x00\n278 DUP1\n279 CALLER\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "345 PUSH1 0x00\n347 SWAP1\n348 POP\n349 PUSH2 0x01fe\n352 JUMP", "id": "31", "isExpanded": false, "label": "345 PUSH1 0x00\n347 SWAP1\n348 POP\n349 PUSH2 0x01fe\n352 JUMP", "size": 150, "truncLabel": "345 PUSH1 0x00\n347 SWAP1\n348 POP\n349 PUSH2 0x01fe\n352 JUMP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "353 JUMPDEST\n354 DUP2\n355 PUSH1 0x00\n357 DUP1\n358 CALLER\n359 PUSH20 0xffffffff(...)\n380 AND\n381 PUSH20 0xffffffff(...)\n402 AND\n403 DUP2\n404 MSTORE\n405 PUSH1 0x20\n407 ADD\n408 SWAP1\n409 DUP2\n410 MSTORE\n411 PUSH1 0x20\n413 ADD\n414 PUSH1 0x00\n416 SHA3\n417 PUSH1 0x00\n419 DUP3\n420 DUP3\n421 SLOAD\n422 SUB\n423 SWAP3\n424 POP\n425 POP\n426 DUP2\n427 SWAP1\n428 SSTORE\n429 POP\n430 DUP2\n431 PUSH1 0x00\n433 DUP1\n434 DUP6\n435 PUSH20 0xffffffff(...)\n456 AND\n457 PUSH20 0xffffffff(...)\n478 AND\n479 DUP2\n480 MSTORE\n481 PUSH1 0x20\n483 ADD\n484 SWAP1\n485 DUP2\n486 MSTORE\n487 PUSH1 0x20\n489 ADD\n490 PUSH1 0x00\n492 SHA3\n493 PUSH1 0x00\n495 DUP3\n496 DUP3\n497 SLOAD\n498 ADD\n499 SWAP3\n500 POP\n501 POP\n502 DUP2\n503 SWAP1\n504 SSTORE\n505 POP\n506 PUSH1 0x00\n508 SWAP1\n509 POP\n510 JUMPDEST\n511 SWAP3\n512 SWAP2\n513 POP\n514 POP\n515 JUMP", "id": "32", "isExpanded": false, "label": "353 JUMPDEST\n354 DUP2\n355 PUSH1 0x00\n357 DUP1\n358 CALLER\n359 PUSH20 0xffffffff(...)\n(click to expand +)", "size": 150, "truncLabel": "353 JUMPDEST\n354 DUP2\n355 PUSH1 0x00\n357 DUP1\n358 CALLER\n359 PUSH20 0xffffffff(...)\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "222 JUMPDEST\n223 PUSH1 0x40\n225 MLOAD\n226 DUP1\n227 DUP3\n228 ISZERO\n229 ISZERO\n230 ISZERO\n231 ISZERO\n232 DUP2\n233 MSTORE\n234 PUSH1 0x20\n236 ADD\n237 SWAP2\n238 POP\n239 POP\n240 PUSH1 0x40\n242 MLOAD\n243 DUP1\n244 SWAP2\n245 SUB\n246 SWAP1\n247 RETURN", "id": "33", "isExpanded": false, "label": "222 JUMPDEST\n223 PUSH1 0x40\n225 MLOAD\n226 DUP1\n227 DUP3\n228 ISZERO\n(click to expand +)", "size": 150, "truncLabel": "222 JUMPDEST\n223 PUSH1 0x40\n225 MLOAD\n226 DUP1\n227 DUP3\n228 ISZERO\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "510 JUMPDEST\n511 SWAP3\n512 SWAP2\n513 POP\n514 POP\n515 JUMP", "id": "34", "isExpanded": false, "label": "510 JUMPDEST\n511 SWAP3\n512 SWAP2\n513 POP\n514 POP\n515 JUMP", "size": 150, "truncLabel": "510 JUMPDEST\n511 SWAP3\n512 SWAP2\n513 POP\n514 POP\n515 JUMP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "222 JUMPDEST\n223 PUSH1 0x40\n225 MLOAD\n226 DUP1\n227 DUP3\n228 ISZERO\n229 ISZERO\n230 ISZERO\n231 ISZERO\n232 DUP2\n233 MSTORE\n234 PUSH1 0x20\n236 ADD\n237 SWAP2\n238 POP\n239 POP\n240 PUSH1 0x40\n242 MLOAD\n243 DUP1\n244 SWAP2\n245 SUB\n246 SWAP1\n247 RETURN", "id": "35", "isExpanded": false, "label": "222 JUMPDEST\n223 PUSH1 0x40\n225 MLOAD\n226 DUP1\n227 DUP3\n228 ISZERO\n(click to expand +)", "size": 150, "truncLabel": "222 JUMPDEST\n223 PUSH1 0x40\n225 MLOAD\n226 DUP1\n227 DUP3\n228 ISZERO\n(click to expand +)"}];
-        var edges = [{"arrows": "to", "from": "17", "label": "ULE(4, 2_calldatasize)", "smooth": {"type": "cubicBezier"}, "to": "18"}, {"arrows": "to", "from": "17", "label": "Not(ULE(4, 2_calldatasize))", "smooth": {"type": "cubicBezier"}, "to": "19"}, {"arrows": "to", "from": "18", "label": "Not(And(If(2_calldatasize \u003c= 3, 0, 2_calldata[3]) == 0xe3,        If(2_calldatasize \u003c= 2, 0, 2_calldata[2]) == 53,        If(2_calldatasize \u003c= 1, 0, 2_calldata[1]) == 0xe2,        If(2_calldatasize \u003c= 0, 0, 2_calldata[0]) == 39))", "smooth": {"type": "cubicBezier"}, "to": "20"}, {"arrows": "to", "from": "18", "label": "And(If(2_calldatasize \u003c= 3, 0, 2_calldata[3]) == 0xe3,    If(2_calldatasize \u003c= 2, 0, 2_calldata[2]) == 53,    If(2_calldatasize \u003c= 1, 0, 2_calldata[1]) == 0xe2,    If(2_calldatasize \u003c= 0, 0, 2_calldata[0]) == 39)", "smooth": {"type": "cubicBezier"}, "to": "21"}, {"arrows": "to", "from": "21", "label": "If(call_value2 == 0, 1, 0) == 0", "smooth": {"type": "cubicBezier"}, "to": "22"}, {"arrows": "to", "from": "21", "label": "Not(If(call_value2 == 0, 1, 0) == 0)", "smooth": {"type": "cubicBezier"}, "to": "23"}, {"arrows": "to", "from": "23", "label": "", "smooth": {"type": "cubicBezier"}, "to": "24"}, {"arrows": "to", "from": "24", "label": "", "smooth": {"type": "cubicBezier"}, "to": "25"}, {"arrows": "to", "from": "20", "label": "Not(And(If(2_calldatasize \u003c= 3, 0, 2_calldata[3]) == 0xae,        If(2_calldatasize \u003c= 2, 0, 2_calldata[2]) == 0x64,        If(2_calldatasize \u003c= 1, 0, 2_calldata[1]) == 38,        If(2_calldatasize \u003c= 0, 0, 2_calldata[0]) == 65))", "smooth": {"type": "cubicBezier"}, "to": "26"}, {"arrows": "to", "from": "20", "label": "And(If(2_calldatasize \u003c= 3, 0, 2_calldata[3]) == 0xae,    If(2_calldatasize \u003c= 2, 0, 2_calldata[2]) == 0x64,    If(2_calldatasize \u003c= 1, 0, 2_calldata[1]) == 38,    If(2_calldatasize \u003c= 0, 0, 2_calldata[0]) == 65)", "smooth": {"type": "cubicBezier"}, "to": "27"}, {"arrows": "to", "from": "27", "label": "If(call_value2 == 0, 1, 0) == 0", "smooth": {"type": "cubicBezier"}, "to": "28"}, {"arrows": "to", "from": "27", "label": "Not(If(call_value2 == 0, 1, 0) == 0)", "smooth": {"type": "cubicBezier"}, "to": "29"}, {"arrows": "to", "from": "29", "label": "", "smooth": {"type": "cubicBezier"}, "to": "30"}, {"arrows": "to", "from": "30", "label": "If(ULE(Concat(If(2_calldatasize \u003c= 36, 0, 2_calldata[36]),              If(2_calldatasize \u003c= 37, 0, 2_calldata[37]),              If(2_calldatasize \u003c= 38, 0, 2_calldata[38]),              If(2_calldatasize \u003c= 39, 0, 2_calldata[39]),              If(2_calldatasize \u003c= 40, 0, 2_calldata[40]),              If(2_calldatasize \u003c= 41, 0, 2_calldata[41]),              If(2_calldatasize \u003c= 42, 0, 2_calldata[42]),              If(2_calldatasize \u003c= 43, 0, 2_calldata[43]),              If(2_calldatasize \u003c= 44, 0, 2_calldata[44]),              If(2_calldatasize \u003c= 45, 0, 2_calldata[45]),              If(2_calldatasize \u003c= 46, 0, 2_calldata[46]),              If(2_calldatasize \u003c= 47, 0, 2_calldata[47]),              If(2_calldatasize \u003c= 48, 0, 2_calldata[48]),              If(2_calldatasize \u003c= 49, 0, 2_calldata[49]),              If(2_calldatasize \u003c= 50, 0, 2_calldata[50]),              If(2_calldatasize \u003c= 51, 0, 2_calldata[51]),              If(2_calldatasize \u003c= 52, 0, 2_calldata[52]),              If(2_calldatasize \u003c= 53, 0, 2_calldata[53]),              If(2_calldatasize \u003c= 54, 0, 2_calldata[54]),              If(2_calldatasize \u003c= 55, 0, 2_calldata[55]),              If(2_calldatasize \u003c= 56, 0, 2_calldata[56]),              If(2_calldatasize \u003c= 57, 0, 2_calldata[57]),              If(2_calldatasize \u003c= 58, 0, 2_calldata[58]),              If(2_calldatasize \u003c= 59, 0, 2_calldata[59]),              If(2_calldatasize \u003c= 60, 0, 2_calldata[60]),              If(2_calldatasize \u003c= 61, 0, 2_calldata[61]),              If(2_calldatasize \u003c= 62, 0, 2_calldata[62]),              If(2_calldatasize \u003c= 63, 0, 2_calldata[63]),              If(2_calldatasize \u003c= 64, 0, 2_calldata[64]),              If(2_calldatasize \u003c= 65, 0, 2_calldata[65]),              If(2_calldatasize \u003c= 66, 0, 2_calldata[66]),              If(2_calldatasize \u003c= 67, 0, 2_calldata[67])),       storage_KECCAC[Extract(0xff,_248,_Concat(0,_Extract(0x9f,_0,_sender_2)))]_0),   1,   0) ==0", "smooth": {"type": "cubicBezier"}, "to": "31"}, {"arrows": "to", "from": "30", "label": "Not(If(ULE(Concat(If(2_calldatasize \u003c= 36,                     0,                     2_calldata[36]),                  If(2_calldatasize \u003c= 37,                     0,                     2_calldata[37]),                  If(2_calldatasize \u003c= 38,                     0,                     2_calldata[38]),                  If(2_calldatasize \u003c= 39,                     0,                     2_calldata[39]),                  If(2_calldatasize \u003c= 40,                     0,                     2_calldata[40]),                  If(2_calldatasize \u003c= 41,                     0,                     2_calldata[41]),                  If(2_calldatasize \u003c= 42,                     0,                     2_calldata[42]),                  If(2_calldatasize \u003c= 43,                     0,                     2_calldata[43]),                  If(2_calldatasize \u003c= 44,                     0,                     2_calldata[44]),                  If(2_calldatasize \u003c= 45,                     0,                     2_calldata[45]),                  If(2_calldatasize \u003c= 46,                     0,                     2_calldata[46]),                  If(2_calldatasize \u003c= 47,                     0,                     2_calldata[47]),                  If(2_calldatasize \u003c= 48,                     0,                     2_calldata[48]),                  If(2_calldatasize \u003c= 49,                     0,                     2_calldata[49]),                  If(2_calldatasize \u003c= 50,                     0,                     2_calldata[50]),                  If(2_calldatasize \u003c= 51,                     0,                     2_calldata[51]),                  If(2_calldatasize \u003c= 52,                     0,                     2_calldata[52]),                  If(2_calldatasize \u003c= 53,                     0,                     2_calldata[53]),                  If(2_calldatasize \u003c= 54,                     0,                     2_calldata[54]),                  If(2_calldatasize \u003c= 55,                     0,                     2_calldata[55]),                  If(2_calldatasize \u003c= 56,                     0,                     2_calldata[56]),                  If(2_calldatasize \u003c= 57,                     0,                     2_calldata[57]),                  If(2_calldatasize \u003c= 58,                     0,                     2_calldata[58]),                  If(2_calldatasize \u003c= 59,                     0,                     2_calldata[59]),                  If(2_calldatasize \u003c= 60,                     0,                     2_calldata[60]),                  If(2_calldatasize \u003c= 61,                     0,                     2_calldata[61]),                  If(2_calldatasize \u003c= 62,                     0,                     2_calldata[62]),                  If(2_calldatasize \u003c= 63,                     0,                     2_calldata[63]),                  If(2_calldatasize \u003c= 64,                     0,                     2_calldata[64]),                  If(2_calldatasize \u003c= 65,                     0,                     2_calldata[65]),                  If(2_calldatasize \u003c= 66,                     0,                     2_calldata[66]),                  If(2_calldatasize \u003c= 67,                     0,                     2_calldata[67])),           storage_KECCAC[Extract(0xff,_248,_Concat(0,_Extract(0x9f,_0,_sender_2)))]_0),       1,       0) ==    0)", "smooth": {"type": "cubicBezier"}, "to": "32"}, {"arrows": "to", "from": "32", "label": "", "smooth": {"type": "cubicBezier"}, "to": "33"}, {"arrows": "to", "from": "31", "label": "", "smooth": {"type": "cubicBezier"}, "to": "34"}, {"arrows": "to", "from": "34", "label": "", "smooth": {"type": "cubicBezier"}, "to": "35"}];
+        var nodes = [{"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "0 PUSH1 0x60\n2 PUSH1 0x40\n4 MSTORE\n5 PUSH1 0x04\n7 CALLDATASIZE\n8 LT\n9 PUSH2 0x004c\n12 JUMPI", "id": "19", "isExpanded": false, "label": "0 PUSH1 0x60\n2 PUSH1 0x40\n4 MSTORE\n5 PUSH1 0x04\n7 CALLDATASIZE\n8 LT\n(click to expand +)", "size": 150, "truncLabel": "0 PUSH1 0x60\n2 PUSH1 0x40\n4 MSTORE\n5 PUSH1 0x04\n7 CALLDATASIZE\n8 LT\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "13 PUSH1 0x00\n15 CALLDATALOAD\n16 PUSH29 0x01000000(...)\n46 SWAP1\n47 DIV\n48 PUSH4 0xffffffff\n53 AND\n54 DUP1\n55 PUSH4 0x27e235e3\n60 EQ\n61 PUSH2 0x0051\n64 JUMPI", "id": "20", "isExpanded": false, "label": "13 PUSH1 0x00\n15 CALLDATALOAD\n16 PUSH29 0x01000000(...)\n46 SWAP1\n47 DIV\n48 PUSH4 0xffffffff\n(click to expand +)", "size": 150, "truncLabel": "13 PUSH1 0x00\n15 CALLDATALOAD\n16 PUSH29 0x01000000(...)\n46 SWAP1\n47 DIV\n48 PUSH4 0xffffffff\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "76 JUMPDEST\n77 PUSH1 0x00\n79 DUP1\n80 REVERT", "id": "21", "isExpanded": false, "label": "76 JUMPDEST\n77 PUSH1 0x00\n79 DUP1\n80 REVERT", "size": 150, "truncLabel": "76 JUMPDEST\n77 PUSH1 0x00\n79 DUP1\n80 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "65 DUP1\n66 PUSH4 0x412664ae\n71 EQ\n72 PUSH2 0x009e\n75 JUMPI", "id": "22", "isExpanded": false, "label": "65 DUP1\n66 PUSH4 0x412664ae\n71 EQ\n72 PUSH2 0x009e\n75 JUMPI", "size": 150, "truncLabel": "65 DUP1\n66 PUSH4 0x412664ae\n71 EQ\n72 PUSH2 0x009e\n75 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "81 JUMPDEST\n82 CALLVALUE\n83 ISZERO\n84 PUSH2 0x005c\n87 JUMPI", "id": "23", "isExpanded": false, "label": "81 JUMPDEST\n82 CALLVALUE\n83 ISZERO\n84 PUSH2 0x005c\n87 JUMPI", "size": 150, "truncLabel": "81 JUMPDEST\n82 CALLVALUE\n83 ISZERO\n84 PUSH2 0x005c\n87 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "88 PUSH1 0x00\n90 DUP1\n91 REVERT", "id": "24", "isExpanded": false, "label": "88 PUSH1 0x00\n90 DUP1\n91 REVERT", "size": 150, "truncLabel": "88 PUSH1 0x00\n90 DUP1\n91 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "92 JUMPDEST\n93 PUSH2 0x0088\n96 PUSH1 0x04\n98 DUP1\n99 DUP1\n100 CALLDATALOAD\n101 PUSH20 0xffffffff(...)\n122 AND\n123 SWAP1\n124 PUSH1 0x20\n126 ADD\n127 SWAP1\n128 SWAP2\n129 SWAP1\n130 POP\n131 POP\n132 PUSH2 0x00f8\n135 JUMP", "id": "25", "isExpanded": false, "label": "92 JUMPDEST\n93 PUSH2 0x0088\n96 PUSH1 0x04\n98 DUP1\n99 DUP1\n100 CALLDATALOAD\n(click to expand +)", "size": 150, "truncLabel": "92 JUMPDEST\n93 PUSH2 0x0088\n96 PUSH1 0x04\n98 DUP1\n99 DUP1\n100 CALLDATALOAD\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "248 JUMPDEST\n249 PUSH1 0x00\n251 PUSH1 0x20\n253 MSTORE\n254 DUP1\n255 PUSH1 0x00\n257 MSTORE\n258 PUSH1 0x40\n260 PUSH1 0x00\n262 SHA3\n263 PUSH1 0x00\n265 SWAP2\n266 POP\n267 SWAP1\n268 POP\n269 SLOAD\n270 DUP2\n271 JUMP", "id": "26", "isExpanded": false, "label": "248 JUMPDEST\n249 PUSH1 0x00\n251 PUSH1 0x20\n253 MSTORE\n254 DUP1\n255 PUSH1 0x00\n(click to expand +)", "size": 150, "truncLabel": "248 JUMPDEST\n249 PUSH1 0x00\n251 PUSH1 0x20\n253 MSTORE\n254 DUP1\n255 PUSH1 0x00\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "136 JUMPDEST\n137 PUSH1 0x40\n139 MLOAD\n140 DUP1\n141 DUP3\n142 DUP2\n143 MSTORE\n144 PUSH1 0x20\n146 ADD\n147 SWAP2\n148 POP\n149 POP\n150 PUSH1 0x40\n152 MLOAD\n153 DUP1\n154 SWAP2\n155 SUB\n156 SWAP1\n157 RETURN", "id": "27", "isExpanded": false, "label": "136 JUMPDEST\n137 PUSH1 0x40\n139 MLOAD\n140 DUP1\n141 DUP3\n142 DUP2\n(click to expand +)", "size": 150, "truncLabel": "136 JUMPDEST\n137 PUSH1 0x40\n139 MLOAD\n140 DUP1\n141 DUP3\n142 DUP2\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "76 JUMPDEST\n77 PUSH1 0x00\n79 DUP1\n80 REVERT", "id": "28", "isExpanded": false, "label": "76 JUMPDEST\n77 PUSH1 0x00\n79 DUP1\n80 REVERT", "size": 150, "truncLabel": "76 JUMPDEST\n77 PUSH1 0x00\n79 DUP1\n80 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "158 JUMPDEST\n159 CALLVALUE\n160 ISZERO\n161 PUSH2 0x00a9\n164 JUMPI", "id": "29", "isExpanded": false, "label": "158 JUMPDEST\n159 CALLVALUE\n160 ISZERO\n161 PUSH2 0x00a9\n164 JUMPI", "size": 150, "truncLabel": "158 JUMPDEST\n159 CALLVALUE\n160 ISZERO\n161 PUSH2 0x00a9\n164 JUMPI"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "165 PUSH1 0x00\n167 DUP1\n168 REVERT", "id": "30", "isExpanded": false, "label": "165 PUSH1 0x00\n167 DUP1\n168 REVERT", "size": 150, "truncLabel": "165 PUSH1 0x00\n167 DUP1\n168 REVERT"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "169 JUMPDEST\n170 PUSH2 0x00de\n173 PUSH1 0x04\n175 DUP1\n176 DUP1\n177 CALLDATALOAD\n178 PUSH20 0xffffffff(...)\n199 AND\n200 SWAP1\n201 PUSH1 0x20\n203 ADD\n204 SWAP1\n205 SWAP2\n206 SWAP1\n207 DUP1\n208 CALLDATALOAD\n209 SWAP1\n210 PUSH1 0x20\n212 ADD\n213 SWAP1\n214 SWAP2\n215 SWAP1\n216 POP\n217 POP\n218 PUSH2 0x0110\n221 JUMP", "id": "31", "isExpanded": false, "label": "169 JUMPDEST\n170 PUSH2 0x00de\n173 PUSH1 0x04\n175 DUP1\n176 DUP1\n177 CALLDATALOAD\n(click to expand +)", "size": 150, "truncLabel": "169 JUMPDEST\n170 PUSH2 0x00de\n173 PUSH1 0x04\n175 DUP1\n176 DUP1\n177 CALLDATALOAD\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "272 JUMPDEST\n273 PUSH1 0x00\n275 DUP2\n276 PUSH1 0x00\n278 DUP1\n279 CALLER\n280 PUSH20 0xffffffff(...)\n301 AND\n302 PUSH20 0xffffffff(...)\n323 AND\n324 DUP2\n325 MSTORE\n326 PUSH1 0x20\n328 ADD\n329 SWAP1\n330 DUP2\n331 MSTORE\n332 PUSH1 0x20\n334 ADD\n335 PUSH1 0x00\n337 SHA3\n338 SLOAD\n339 LT\n340 ISZERO\n341 PUSH2 0x0161\n344 JUMPI", "id": "32", "isExpanded": false, "label": "272 JUMPDEST\n273 PUSH1 0x00\n275 DUP2\n276 PUSH1 0x00\n278 DUP1\n279 CALLER\n(click to expand +)", "size": 150, "truncLabel": "272 JUMPDEST\n273 PUSH1 0x00\n275 DUP2\n276 PUSH1 0x00\n278 DUP1\n279 CALLER\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "345 PUSH1 0x00\n347 SWAP1\n348 POP\n349 PUSH2 0x01fe\n352 JUMP", "id": "33", "isExpanded": false, "label": "345 PUSH1 0x00\n347 SWAP1\n348 POP\n349 PUSH2 0x01fe\n352 JUMP", "size": 150, "truncLabel": "345 PUSH1 0x00\n347 SWAP1\n348 POP\n349 PUSH2 0x01fe\n352 JUMP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "353 JUMPDEST\n354 DUP2\n355 PUSH1 0x00\n357 DUP1\n358 CALLER\n359 PUSH20 0xffffffff(...)\n380 AND\n381 PUSH20 0xffffffff(...)\n402 AND\n403 DUP2\n404 MSTORE\n405 PUSH1 0x20\n407 ADD\n408 SWAP1\n409 DUP2\n410 MSTORE\n411 PUSH1 0x20\n413 ADD\n414 PUSH1 0x00\n416 SHA3\n417 PUSH1 0x00\n419 DUP3\n420 DUP3\n421 SLOAD\n422 SUB\n423 SWAP3\n424 POP\n425 POP\n426 DUP2\n427 SWAP1\n428 SSTORE", "id": "34", "isExpanded": false, "label": "353 JUMPDEST\n354 DUP2\n355 PUSH1 0x00\n357 DUP1\n358 CALLER\n359 PUSH20 0xffffffff(...)\n(click to expand +)", "size": 150, "truncLabel": "353 JUMPDEST\n354 DUP2\n355 PUSH1 0x00\n357 DUP1\n358 CALLER\n359 PUSH20 0xffffffff(...)\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "429 POP\n430 DUP2\n431 PUSH1 0x00\n433 DUP1\n434 DUP6\n435 PUSH20 0xffffffff(...)\n456 AND\n457 PUSH20 0xffffffff(...)\n478 AND\n479 DUP2\n480 MSTORE\n481 PUSH1 0x20\n483 ADD\n484 SWAP1\n485 DUP2\n486 MSTORE\n487 PUSH1 0x20\n489 ADD\n490 PUSH1 0x00\n492 SHA3\n493 PUSH1 0x00\n495 DUP3\n496 DUP3\n497 SLOAD\n498 ADD\n499 SWAP3\n500 POP\n501 POP\n502 DUP2\n503 SWAP1\n504 SSTORE", "id": "35", "isExpanded": false, "label": "429 POP\n430 DUP2\n431 PUSH1 0x00\n433 DUP1\n434 DUP6\n435 PUSH20 0xffffffff(...)\n(click to expand +)", "size": 150, "truncLabel": "429 POP\n430 DUP2\n431 PUSH1 0x00\n433 DUP1\n434 DUP6\n435 PUSH20 0xffffffff(...)\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "429 POP\n430 DUP2\n431 PUSH1 0x00\n433 DUP1\n434 DUP6\n435 PUSH20 0xffffffff(...)\n456 AND\n457 PUSH20 0xffffffff(...)\n478 AND\n479 DUP2\n480 MSTORE\n481 PUSH1 0x20\n483 ADD\n484 SWAP1\n485 DUP2\n486 MSTORE\n487 PUSH1 0x20\n489 ADD\n490 PUSH1 0x00\n492 SHA3\n493 PUSH1 0x00\n495 DUP3\n496 DUP3\n497 SLOAD", "id": "36", "isExpanded": false, "label": "429 POP\n430 DUP2\n431 PUSH1 0x00\n433 DUP1\n434 DUP6\n435 PUSH20 0xffffffff(...)\n(click to expand +)", "size": 150, "truncLabel": "429 POP\n430 DUP2\n431 PUSH1 0x00\n433 DUP1\n434 DUP6\n435 PUSH20 0xffffffff(...)\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "498 ADD\n499 SWAP3\n500 POP\n501 POP\n502 DUP2\n503 SWAP1\n504 SSTORE", "id": "37", "isExpanded": false, "label": "498 ADD\n499 SWAP3\n500 POP\n501 POP\n502 DUP2\n503 SWAP1\n(click to expand +)", "size": 150, "truncLabel": "498 ADD\n499 SWAP3\n500 POP\n501 POP\n502 DUP2\n503 SWAP1\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "498 ADD\n499 SWAP3\n500 POP\n501 POP\n502 DUP2\n503 SWAP1\n504 SSTORE", "id": "38", "isExpanded": false, "label": "498 ADD\n499 SWAP3\n500 POP\n501 POP\n502 DUP2\n503 SWAP1\n(click to expand +)", "size": 150, "truncLabel": "498 ADD\n499 SWAP3\n500 POP\n501 POP\n502 DUP2\n503 SWAP1\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "505 POP\n506 PUSH1 0x00\n508 SWAP1\n509 POP\n510 JUMPDEST\n511 SWAP3\n512 SWAP2\n513 POP\n514 POP\n515 JUMP", "id": "39", "isExpanded": false, "label": "505 POP\n506 PUSH1 0x00\n508 SWAP1\n509 POP\n510 JUMPDEST\n511 SWAP3\n(click to expand +)", "size": 150, "truncLabel": "505 POP\n506 PUSH1 0x00\n508 SWAP1\n509 POP\n510 JUMPDEST\n511 SWAP3\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "505 POP\n506 PUSH1 0x00\n508 SWAP1\n509 POP\n510 JUMPDEST\n511 SWAP3\n512 SWAP2\n513 POP\n514 POP\n515 JUMP", "id": "40", "isExpanded": false, "label": "505 POP\n506 PUSH1 0x00\n508 SWAP1\n509 POP\n510 JUMPDEST\n511 SWAP3\n(click to expand +)", "size": 150, "truncLabel": "505 POP\n506 PUSH1 0x00\n508 SWAP1\n509 POP\n510 JUMPDEST\n511 SWAP3\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "505 POP\n506 PUSH1 0x00\n508 SWAP1\n509 POP\n510 JUMPDEST\n511 SWAP3\n512 SWAP2\n513 POP\n514 POP\n515 JUMP", "id": "41", "isExpanded": false, "label": "505 POP\n506 PUSH1 0x00\n508 SWAP1\n509 POP\n510 JUMPDEST\n511 SWAP3\n(click to expand +)", "size": 150, "truncLabel": "505 POP\n506 PUSH1 0x00\n508 SWAP1\n509 POP\n510 JUMPDEST\n511 SWAP3\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "222 JUMPDEST\n223 PUSH1 0x40\n225 MLOAD\n226 DUP1\n227 DUP3\n228 ISZERO\n229 ISZERO\n230 ISZERO\n231 ISZERO\n232 DUP2\n233 MSTORE\n234 PUSH1 0x20\n236 ADD\n237 SWAP2\n238 POP\n239 POP\n240 PUSH1 0x40\n242 MLOAD\n243 DUP1\n244 SWAP2\n245 SUB\n246 SWAP1\n247 RETURN", "id": "42", "isExpanded": false, "label": "222 JUMPDEST\n223 PUSH1 0x40\n225 MLOAD\n226 DUP1\n227 DUP3\n228 ISZERO\n(click to expand +)", "size": 150, "truncLabel": "222 JUMPDEST\n223 PUSH1 0x40\n225 MLOAD\n226 DUP1\n227 DUP3\n228 ISZERO\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "222 JUMPDEST\n223 PUSH1 0x40\n225 MLOAD\n226 DUP1\n227 DUP3\n228 ISZERO\n229 ISZERO\n230 ISZERO\n231 ISZERO\n232 DUP2\n233 MSTORE\n234 PUSH1 0x20\n236 ADD\n237 SWAP2\n238 POP\n239 POP\n240 PUSH1 0x40\n242 MLOAD\n243 DUP1\n244 SWAP2\n245 SUB\n246 SWAP1\n247 RETURN", "id": "43", "isExpanded": false, "label": "222 JUMPDEST\n223 PUSH1 0x40\n225 MLOAD\n226 DUP1\n227 DUP3\n228 ISZERO\n(click to expand +)", "size": 150, "truncLabel": "222 JUMPDEST\n223 PUSH1 0x40\n225 MLOAD\n226 DUP1\n227 DUP3\n228 ISZERO\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "222 JUMPDEST\n223 PUSH1 0x40\n225 MLOAD\n226 DUP1\n227 DUP3\n228 ISZERO\n229 ISZERO\n230 ISZERO\n231 ISZERO\n232 DUP2\n233 MSTORE\n234 PUSH1 0x20\n236 ADD\n237 SWAP2\n238 POP\n239 POP\n240 PUSH1 0x40\n242 MLOAD\n243 DUP1\n244 SWAP2\n245 SUB\n246 SWAP1\n247 RETURN", "id": "44", "isExpanded": false, "label": "222 JUMPDEST\n223 PUSH1 0x40\n225 MLOAD\n226 DUP1\n227 DUP3\n228 ISZERO\n(click to expand +)", "size": 150, "truncLabel": "222 JUMPDEST\n223 PUSH1 0x40\n225 MLOAD\n226 DUP1\n227 DUP3\n228 ISZERO\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "505 POP\n506 PUSH1 0x00\n508 SWAP1\n509 POP\n510 JUMPDEST\n511 SWAP3\n512 SWAP2\n513 POP\n514 POP\n515 JUMP", "id": "45", "isExpanded": false, "label": "505 POP\n506 PUSH1 0x00\n508 SWAP1\n509 POP\n510 JUMPDEST\n511 SWAP3\n(click to expand +)", "size": 150, "truncLabel": "505 POP\n506 PUSH1 0x00\n508 SWAP1\n509 POP\n510 JUMPDEST\n511 SWAP3\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "505 POP\n506 PUSH1 0x00\n508 SWAP1\n509 POP\n510 JUMPDEST\n511 SWAP3\n512 SWAP2\n513 POP\n514 POP\n515 JUMP", "id": "46", "isExpanded": false, "label": "505 POP\n506 PUSH1 0x00\n508 SWAP1\n509 POP\n510 JUMPDEST\n511 SWAP3\n(click to expand +)", "size": 150, "truncLabel": "505 POP\n506 PUSH1 0x00\n508 SWAP1\n509 POP\n510 JUMPDEST\n511 SWAP3\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "505 POP\n506 PUSH1 0x00\n508 SWAP1\n509 POP\n510 JUMPDEST\n511 SWAP3\n512 SWAP2\n513 POP\n514 POP\n515 JUMP", "id": "47", "isExpanded": false, "label": "505 POP\n506 PUSH1 0x00\n508 SWAP1\n509 POP\n510 JUMPDEST\n511 SWAP3\n(click to expand +)", "size": 150, "truncLabel": "505 POP\n506 PUSH1 0x00\n508 SWAP1\n509 POP\n510 JUMPDEST\n511 SWAP3\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "222 JUMPDEST\n223 PUSH1 0x40\n225 MLOAD\n226 DUP1\n227 DUP3\n228 ISZERO\n229 ISZERO\n230 ISZERO\n231 ISZERO\n232 DUP2\n233 MSTORE\n234 PUSH1 0x20\n236 ADD\n237 SWAP2\n238 POP\n239 POP\n240 PUSH1 0x40\n242 MLOAD\n243 DUP1\n244 SWAP2\n245 SUB\n246 SWAP1\n247 RETURN", "id": "48", "isExpanded": false, "label": "222 JUMPDEST\n223 PUSH1 0x40\n225 MLOAD\n226 DUP1\n227 DUP3\n228 ISZERO\n(click to expand +)", "size": 150, "truncLabel": "222 JUMPDEST\n223 PUSH1 0x40\n225 MLOAD\n226 DUP1\n227 DUP3\n228 ISZERO\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "222 JUMPDEST\n223 PUSH1 0x40\n225 MLOAD\n226 DUP1\n227 DUP3\n228 ISZERO\n229 ISZERO\n230 ISZERO\n231 ISZERO\n232 DUP2\n233 MSTORE\n234 PUSH1 0x20\n236 ADD\n237 SWAP2\n238 POP\n239 POP\n240 PUSH1 0x40\n242 MLOAD\n243 DUP1\n244 SWAP2\n245 SUB\n246 SWAP1\n247 RETURN", "id": "49", "isExpanded": false, "label": "222 JUMPDEST\n223 PUSH1 0x40\n225 MLOAD\n226 DUP1\n227 DUP3\n228 ISZERO\n(click to expand +)", "size": 150, "truncLabel": "222 JUMPDEST\n223 PUSH1 0x40\n225 MLOAD\n226 DUP1\n227 DUP3\n228 ISZERO\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "222 JUMPDEST\n223 PUSH1 0x40\n225 MLOAD\n226 DUP1\n227 DUP3\n228 ISZERO\n229 ISZERO\n230 ISZERO\n231 ISZERO\n232 DUP2\n233 MSTORE\n234 PUSH1 0x20\n236 ADD\n237 SWAP2\n238 POP\n239 POP\n240 PUSH1 0x40\n242 MLOAD\n243 DUP1\n244 SWAP2\n245 SUB\n246 SWAP1\n247 RETURN", "id": "50", "isExpanded": false, "label": "222 JUMPDEST\n223 PUSH1 0x40\n225 MLOAD\n226 DUP1\n227 DUP3\n228 ISZERO\n(click to expand +)", "size": 150, "truncLabel": "222 JUMPDEST\n223 PUSH1 0x40\n225 MLOAD\n226 DUP1\n227 DUP3\n228 ISZERO\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "505 POP\n506 PUSH1 0x00\n508 SWAP1\n509 POP\n510 JUMPDEST\n511 SWAP3\n512 SWAP2\n513 POP\n514 POP\n515 JUMP", "id": "51", "isExpanded": false, "label": "505 POP\n506 PUSH1 0x00\n508 SWAP1\n509 POP\n510 JUMPDEST\n511 SWAP3\n(click to expand +)", "size": 150, "truncLabel": "505 POP\n506 PUSH1 0x00\n508 SWAP1\n509 POP\n510 JUMPDEST\n511 SWAP3\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "505 POP\n506 PUSH1 0x00\n508 SWAP1\n509 POP\n510 JUMPDEST\n511 SWAP3\n512 SWAP2\n513 POP\n514 POP\n515 JUMP", "id": "52", "isExpanded": false, "label": "505 POP\n506 PUSH1 0x00\n508 SWAP1\n509 POP\n510 JUMPDEST\n511 SWAP3\n(click to expand +)", "size": 150, "truncLabel": "505 POP\n506 PUSH1 0x00\n508 SWAP1\n509 POP\n510 JUMPDEST\n511 SWAP3\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "222 JUMPDEST\n223 PUSH1 0x40\n225 MLOAD\n226 DUP1\n227 DUP3\n228 ISZERO\n229 ISZERO\n230 ISZERO\n231 ISZERO\n232 DUP2\n233 MSTORE\n234 PUSH1 0x20\n236 ADD\n237 SWAP2\n238 POP\n239 POP\n240 PUSH1 0x40\n242 MLOAD\n243 DUP1\n244 SWAP2\n245 SUB\n246 SWAP1\n247 RETURN", "id": "53", "isExpanded": false, "label": "222 JUMPDEST\n223 PUSH1 0x40\n225 MLOAD\n226 DUP1\n227 DUP3\n228 ISZERO\n(click to expand +)", "size": 150, "truncLabel": "222 JUMPDEST\n223 PUSH1 0x40\n225 MLOAD\n226 DUP1\n227 DUP3\n228 ISZERO\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "222 JUMPDEST\n223 PUSH1 0x40\n225 MLOAD\n226 DUP1\n227 DUP3\n228 ISZERO\n229 ISZERO\n230 ISZERO\n231 ISZERO\n232 DUP2\n233 MSTORE\n234 PUSH1 0x20\n236 ADD\n237 SWAP2\n238 POP\n239 POP\n240 PUSH1 0x40\n242 MLOAD\n243 DUP1\n244 SWAP2\n245 SUB\n246 SWAP1\n247 RETURN", "id": "54", "isExpanded": false, "label": "222 JUMPDEST\n223 PUSH1 0x40\n225 MLOAD\n226 DUP1\n227 DUP3\n228 ISZERO\n(click to expand +)", "size": 150, "truncLabel": "222 JUMPDEST\n223 PUSH1 0x40\n225 MLOAD\n226 DUP1\n227 DUP3\n228 ISZERO\n(click to expand +)"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "510 JUMPDEST\n511 SWAP3\n512 SWAP2\n513 POP\n514 POP\n515 JUMP", "id": "55", "isExpanded": false, "label": "510 JUMPDEST\n511 SWAP3\n512 SWAP2\n513 POP\n514 POP\n515 JUMP", "size": 150, "truncLabel": "510 JUMPDEST\n511 SWAP3\n512 SWAP2\n513 POP\n514 POP\n515 JUMP"}, {"color": {"background": "#2f7e5b", "border": "#26996f", "highlight": {"background": "#28a16f", "border": "#26996f"}}, "fullLabel": "222 JUMPDEST\n223 PUSH1 0x40\n225 MLOAD\n226 DUP1\n227 DUP3\n228 ISZERO\n229 ISZERO\n230 ISZERO\n231 ISZERO\n232 DUP2\n233 MSTORE\n234 PUSH1 0x20\n236 ADD\n237 SWAP2\n238 POP\n239 POP\n240 PUSH1 0x40\n242 MLOAD\n243 DUP1\n244 SWAP2\n245 SUB\n246 SWAP1\n247 RETURN", "id": "56", "isExpanded": false, "label": "222 JUMPDEST\n223 PUSH1 0x40\n225 MLOAD\n226 DUP1\n227 DUP3\n228 ISZERO\n(click to expand +)", "size": 150, "truncLabel": "222 JUMPDEST\n223 PUSH1 0x40\n225 MLOAD\n226 DUP1\n227 DUP3\n228 ISZERO\n(click to expand +)"}];
+        var edges = [{"arrows": "to", "from": "19", "label": "ULE(4, 2_calldatasize)", "smooth": {"type": "cubicBezier"}, "to": "20"}, {"arrows": "to", "from": "19", "label": "Not(ULE(4, 2_calldatasize))", "smooth": {"type": "cubicBezier"}, "to": "21"}, {"arrows": "to", "from": "20", "label": "Not(And(2_calldata[3] == 0xe3,        2_calldata[2] == 53,        2_calldata[1] == 0xe2,        2_calldata[0] == 39))", "smooth": {"type": "cubicBezier"}, "to": "22"}, {"arrows": "to", "from": "20", "label": "And(2_calldata[3] == 0xe3,    2_calldata[2] == 53,    2_calldata[1] == 0xe2,    2_calldata[0] == 39)", "smooth": {"type": "cubicBezier"}, "to": "23"}, {"arrows": "to", "from": "23", "label": "Not(call_value2 == 0)", "smooth": {"type": "cubicBezier"}, "to": "24"}, {"arrows": "to", "from": "23", "label": "call_value2 == 0", "smooth": {"type": "cubicBezier"}, "to": "25"}, {"arrows": "to", "from": "25", "label": "", "smooth": {"type": "cubicBezier"}, "to": "26"}, {"arrows": "to", "from": "26", "label": "", "smooth": {"type": "cubicBezier"}, "to": "27"}, {"arrows": "to", "from": "22", "label": "Not(And(2_calldata[3] == 0xae,        2_calldata[2] == 0x64,        2_calldata[1] == 38,        2_calldata[0] == 65))", "smooth": {"type": "cubicBezier"}, "to": "28"}, {"arrows": "to", "from": "22", "label": "And(2_calldata[3] == 0xae,    2_calldata[2] == 0x64,    2_calldata[1] == 38,    2_calldata[0] == 65)", "smooth": {"type": "cubicBezier"}, "to": "29"}, {"arrows": "to", "from": "29", "label": "Not(call_value2 == 0)", "smooth": {"type": "cubicBezier"}, "to": "30"}, {"arrows": "to", "from": "29", "label": "call_value2 == 0", "smooth": {"type": "cubicBezier"}, "to": "31"}, {"arrows": "to", "from": "31", "label": "", "smooth": {"type": "cubicBezier"}, "to": "32"}, {"arrows": "to", "from": "32", "label": "Not(ULE(Concat(2_calldata[36],               2_calldata[37],               2_calldata[38],               2_calldata[39],               2_calldata[40],               2_calldata[41],               2_calldata[42],               2_calldata[43],               2_calldata[44],               2_calldata[45],               2_calldata[46],               2_calldata[47],               2_calldata[48],               2_calldata[49],               2_calldata[50],               2_calldata[51],               2_calldata[52],               2_calldata[53],               2_calldata[54],               2_calldata[55],               2_calldata[56],               2_calldata[57],               2_calldata[58],               2_calldata[59],               2_calldata[60],               2_calldata[61],               2_calldata[62],               2_calldata[63],               2_calldata[64],               2_calldata[65],               2_calldata[66],               2_calldata[67]),        storage_KECCAC[0xffffffffffffffffffffffffffffffffffffffff_\u0026Concat(2_calldata[4],_______2_calldata[5],_______2_calldata[6],_______2_calldata[7],_______2_calldata[8],_______2_calldata[9],_______2_calldata[10],_______2_calldata[11],_______2_calldata[12],_______2_calldata[13],_______2_calldata[14],_______2_calldata[15],_______2_calldata[16],_______2_calldata[17],_______2_calldata[18],_______2_calldata[19],_______2_calldata[20],_______2_calldata[21],_______2_calldata[22],_______2_calldata[23],_______2_calldata[24],_______2_calldata[25],_______2_calldata[26],_______2_calldata[27],_______2_calldata[28],_______2_calldata[29],_______2_calldata[30],_______2_calldata[31],_______2_calldata[32],_______2_calldata[33],_______2_calldata[34],_______2_calldata[35])]))", "smooth": {"type": "cubicBezier"}, "to": "33"}, {"arrows": "to", "from": "32", "label": "ULE(Concat(2_calldata[36],           2_calldata[37],           2_calldata[38],           2_calldata[39],           2_calldata[40],           2_calldata[41],           2_calldata[42],           2_calldata[43],           2_calldata[44],           2_calldata[45],           2_calldata[46],           2_calldata[47],           2_calldata[48],           2_calldata[49],           2_calldata[50],           2_calldata[51],           2_calldata[52],           2_calldata[53],           2_calldata[54],           2_calldata[55],           2_calldata[56],           2_calldata[57],           2_calldata[58],           2_calldata[59],           2_calldata[60],           2_calldata[61],           2_calldata[62],           2_calldata[63],           2_calldata[64],           2_calldata[65],           2_calldata[66],           2_calldata[67]),    storage_KECCAC[0xffffffffffffffffffffffffffffffffffffffff_\u0026Concat(2_calldata[4],_______2_calldata[5],_______2_calldata[6],_______2_calldata[7],_______2_calldata[8],_______2_calldata[9],_______2_calldata[10],_______2_calldata[11],_______2_calldata[12],_______2_calldata[13],_______2_calldata[14],_______2_calldata[15],_______2_calldata[16],_______2_calldata[17],_______2_calldata[18],_______2_calldata[19],_______2_calldata[20],_______2_calldata[21],_______2_calldata[22],_______2_calldata[23],_______2_calldata[24],_______2_calldata[25],_______2_calldata[26],_______2_calldata[27],_______2_calldata[28],_______2_calldata[29],_______2_calldata[30],_______2_calldata[31],_______2_calldata[32],_______2_calldata[33],_______2_calldata[34],_______2_calldata[35])])", "smooth": {"type": "cubicBezier"}, "to": "34"}, {"arrows": "to", "from": "34", "label": "And(2_calldata[35] == Extract(7, 0, caller2),    2_calldata[34] == Extract(15, 8, caller2),    2_calldata[33] == Extract(23, 16, caller2),    2_calldata[32] == Extract(31, 24, caller2),    2_calldata[31] == Extract(39, 32, caller2),    2_calldata[30] == Extract(47, 40, caller2),    2_calldata[29] == Extract(55, 48, caller2),    2_calldata[28] == Extract(63, 56, caller2),    2_calldata[27] == Extract(71, 64, caller2),    2_calldata[26] == Extract(79, 72, caller2),    2_calldata[25] == Extract(87, 80, caller2),    2_calldata[24] == Extract(95, 88, caller2),    2_calldata[23] == Extract(0x67, 96, caller2),    2_calldata[22] == Extract(0x6f, 0x68, caller2),    2_calldata[21] == Extract(0x77, 0x70, caller2),    2_calldata[20] == Extract(0x7f, 0x78, caller2),    2_calldata[19] == Extract(0x87, 0x80, caller2),    2_calldata[18] == Extract(0x8f, 0x88, caller2),    2_calldata[17] == Extract(0x97, 0x90, caller2),    2_calldata[16] == Extract(0x9f, 0x98, caller2))", "smooth": {"type": "cubicBezier"}, "to": "35"}, {"arrows": "to", "from": "34", "label": "Not(And(2_calldata[35] == Extract(7, 0, caller2),        2_calldata[34] == Extract(15, 8, caller2),        2_calldata[33] == Extract(23, 16, caller2),        2_calldata[32] == Extract(31, 24, caller2),        2_calldata[31] == Extract(39, 32, caller2),        2_calldata[30] == Extract(47, 40, caller2),        2_calldata[29] == Extract(55, 48, caller2),        2_calldata[28] == Extract(63, 56, caller2),        2_calldata[27] == Extract(71, 64, caller2),        2_calldata[26] == Extract(79, 72, caller2),        2_calldata[25] == Extract(87, 80, caller2),        2_calldata[24] == Extract(95, 88, caller2),        2_calldata[23] == Extract(0x67, 96, caller2),        2_calldata[22] == Extract(0x6f, 0x68, caller2),        2_calldata[21] == Extract(0x77, 0x70, caller2),        2_calldata[20] == Extract(0x7f, 0x78, caller2),        2_calldata[19] == Extract(0x87, 0x80, caller2),        2_calldata[18] == Extract(0x8f, 0x88, caller2),        2_calldata[17] == Extract(0x97, 0x90, caller2),        2_calldata[16] == Extract(0x9f, 0x98, caller2)))", "smooth": {"type": "cubicBezier"}, "to": "36"}, {"arrows": "to", "from": "36", "label": "True", "smooth": {"type": "cubicBezier"}, "to": "37"}, {"arrows": "to", "from": "36", "label": "And(Extract(7, 0, caller2) == 2_calldata[35],    Extract(15, 8, caller2) == 2_calldata[34],    Extract(23, 16, caller2) == 2_calldata[33],    Extract(31, 24, caller2) == 2_calldata[32],    Extract(39, 32, caller2) == 2_calldata[31],    Extract(47, 40, caller2) == 2_calldata[30],    Extract(55, 48, caller2) == 2_calldata[29],    Extract(63, 56, caller2) == 2_calldata[28],    Extract(71, 64, caller2) == 2_calldata[27],    Extract(79, 72, caller2) == 2_calldata[26],    Extract(87, 80, caller2) == 2_calldata[25],    Extract(95, 88, caller2) == 2_calldata[24],    Extract(0x67, 96, caller2) == 2_calldata[23],    Extract(0x6f, 0x68, caller2) == 2_calldata[22],    Extract(0x77, 0x70, caller2) == 2_calldata[21],    Extract(0x7f, 0x78, caller2) == 2_calldata[20],    Extract(0x87, 0x80, caller2) == 2_calldata[19],    Extract(0x8f, 0x88, caller2) == 2_calldata[18],    Extract(0x97, 0x90, caller2) == 2_calldata[17],    Extract(0x9f, 0x98, caller2) == 2_calldata[16])", "smooth": {"type": "cubicBezier"}, "to": "38"}, {"arrows": "to", "from": "38", "label": "True", "smooth": {"type": "cubicBezier"}, "to": "39"}, {"arrows": "to", "from": "38", "label": "And(Extract(7, 0, caller2) == 2_calldata[35],    Extract(15, 8, caller2) == 2_calldata[34],    Extract(23, 16, caller2) == 2_calldata[33],    Extract(31, 24, caller2) == 2_calldata[32],    Extract(39, 32, caller2) == 2_calldata[31],    Extract(47, 40, caller2) == 2_calldata[30],    Extract(55, 48, caller2) == 2_calldata[29],    Extract(63, 56, caller2) == 2_calldata[28],    Extract(71, 64, caller2) == 2_calldata[27],    Extract(79, 72, caller2) == 2_calldata[26],    Extract(87, 80, caller2) == 2_calldata[25],    Extract(95, 88, caller2) == 2_calldata[24],    Extract(0x67, 96, caller2) == 2_calldata[23],    Extract(0x6f, 0x68, caller2) == 2_calldata[22],    Extract(0x77, 0x70, caller2) == 2_calldata[21],    Extract(0x7f, 0x78, caller2) == 2_calldata[20],    Extract(0x87, 0x80, caller2) == 2_calldata[19],    Extract(0x8f, 0x88, caller2) == 2_calldata[18],    Extract(0x97, 0x90, caller2) == 2_calldata[17],    Extract(0x9f, 0x98, caller2) == 2_calldata[16])", "smooth": {"type": "cubicBezier"}, "to": "40"}, {"arrows": "to", "from": "38", "label": "Not(And(Extract(7, 0, caller2) == 2_calldata[35],        Extract(15, 8, caller2) == 2_calldata[34],        Extract(23, 16, caller2) == 2_calldata[33],        Extract(31, 24, caller2) == 2_calldata[32],        Extract(39, 32, caller2) == 2_calldata[31],        Extract(47, 40, caller2) == 2_calldata[30],        Extract(55, 48, caller2) == 2_calldata[29],        Extract(63, 56, caller2) == 2_calldata[28],        Extract(71, 64, caller2) == 2_calldata[27],        Extract(79, 72, caller2) == 2_calldata[26],        Extract(87, 80, caller2) == 2_calldata[25],        Extract(95, 88, caller2) == 2_calldata[24],        Extract(0x67, 96, caller2) == 2_calldata[23],        Extract(0x6f, 0x68, caller2) == 2_calldata[22],        Extract(0x77, 0x70, caller2) == 2_calldata[21],        Extract(0x7f, 0x78, caller2) == 2_calldata[20],        Extract(0x87, 0x80, caller2) == 2_calldata[19],        Extract(0x8f, 0x88, caller2) == 2_calldata[18],        Extract(0x97, 0x90, caller2) == 2_calldata[17],        Extract(0x9f, 0x98, caller2) == 2_calldata[16]))", "smooth": {"type": "cubicBezier"}, "to": "41"}, {"arrows": "to", "from": "41", "label": "", "smooth": {"type": "cubicBezier"}, "to": "42"}, {"arrows": "to", "from": "40", "label": "", "smooth": {"type": "cubicBezier"}, "to": "43"}, {"arrows": "to", "from": "39", "label": "", "smooth": {"type": "cubicBezier"}, "to": "44"}, {"arrows": "to", "from": "37", "label": "True", "smooth": {"type": "cubicBezier"}, "to": "45"}, {"arrows": "to", "from": "37", "label": "And(Extract(7, 0, caller2) == 2_calldata[35],    Extract(15, 8, caller2) == 2_calldata[34],    Extract(23, 16, caller2) == 2_calldata[33],    Extract(31, 24, caller2) == 2_calldata[32],    Extract(39, 32, caller2) == 2_calldata[31],    Extract(47, 40, caller2) == 2_calldata[30],    Extract(55, 48, caller2) == 2_calldata[29],    Extract(63, 56, caller2) == 2_calldata[28],    Extract(71, 64, caller2) == 2_calldata[27],    Extract(79, 72, caller2) == 2_calldata[26],    Extract(87, 80, caller2) == 2_calldata[25],    Extract(95, 88, caller2) == 2_calldata[24],    Extract(0x67, 96, caller2) == 2_calldata[23],    Extract(0x6f, 0x68, caller2) == 2_calldata[22],    Extract(0x77, 0x70, caller2) == 2_calldata[21],    Extract(0x7f, 0x78, caller2) == 2_calldata[20],    Extract(0x87, 0x80, caller2) == 2_calldata[19],    Extract(0x8f, 0x88, caller2) == 2_calldata[18],    Extract(0x97, 0x90, caller2) == 2_calldata[17],    Extract(0x9f, 0x98, caller2) == 2_calldata[16])", "smooth": {"type": "cubicBezier"}, "to": "46"}, {"arrows": "to", "from": "37", "label": "Not(And(Extract(7, 0, caller2) == 2_calldata[35],        Extract(15, 8, caller2) == 2_calldata[34],        Extract(23, 16, caller2) == 2_calldata[33],        Extract(31, 24, caller2) == 2_calldata[32],        Extract(39, 32, caller2) == 2_calldata[31],        Extract(47, 40, caller2) == 2_calldata[30],        Extract(55, 48, caller2) == 2_calldata[29],        Extract(63, 56, caller2) == 2_calldata[28],        Extract(71, 64, caller2) == 2_calldata[27],        Extract(79, 72, caller2) == 2_calldata[26],        Extract(87, 80, caller2) == 2_calldata[25],        Extract(95, 88, caller2) == 2_calldata[24],        Extract(0x67, 96, caller2) == 2_calldata[23],        Extract(0x6f, 0x68, caller2) == 2_calldata[22],        Extract(0x77, 0x70, caller2) == 2_calldata[21],        Extract(0x7f, 0x78, caller2) == 2_calldata[20],        Extract(0x87, 0x80, caller2) == 2_calldata[19],        Extract(0x8f, 0x88, caller2) == 2_calldata[18],        Extract(0x97, 0x90, caller2) == 2_calldata[17],        Extract(0x9f, 0x98, caller2) == 2_calldata[16]))", "smooth": {"type": "cubicBezier"}, "to": "47"}, {"arrows": "to", "from": "47", "label": "", "smooth": {"type": "cubicBezier"}, "to": "48"}, {"arrows": "to", "from": "46", "label": "", "smooth": {"type": "cubicBezier"}, "to": "49"}, {"arrows": "to", "from": "45", "label": "", "smooth": {"type": "cubicBezier"}, "to": "50"}, {"arrows": "to", "from": "35", "label": "True", "smooth": {"type": "cubicBezier"}, "to": "51"}, {"arrows": "to", "from": "35", "label": "False", "smooth": {"type": "cubicBezier"}, "to": "52"}, {"arrows": "to", "from": "52", "label": "", "smooth": {"type": "cubicBezier"}, "to": "53"}, {"arrows": "to", "from": "51", "label": "", "smooth": {"type": "cubicBezier"}, "to": "54"}, {"arrows": "to", "from": "33", "label": "", "smooth": {"type": "cubicBezier"}, "to": "55"}, {"arrows": "to", "from": "55", "label": "", "smooth": {"type": "cubicBezier"}, "to": "56"}];
     </script>
 </head>
 <body>
@@ -59,4 +59,4 @@
     });
 </script>
 </body>
-</html>
\ No newline at end of file
+</html>
diff --git a/tests/testdata/outputs_expected/metacoin.sol.o.json b/tests/testdata/outputs_expected/metacoin.sol.o.json
index 2dd384d1..712f50c1 100644
--- a/tests/testdata/outputs_expected/metacoin.sol.o.json
+++ b/tests/testdata/outputs_expected/metacoin.sol.o.json
@@ -1,19 +1,5 @@
 {
     "error": null,
-    "issues": [
-        {
-            "address": 498,
-            "contract": "Unknown",
-            "debug": "<DEBUG-DATA>",
-            "description": "The binary addition can overflow.\nThe operands of the addition operation are not sufficiently constrained. The addition could therefore result in an integer overflow. Prevent the overflow by checking inputs or ensure sure that the overflow is caught by an assertion.",
-            "function": "sendToken(address,uint256)",
-            "max_gas_used": 52806,
-            "min_gas_used": 11860,
-            "severity": "High",
-            "sourceMap": null,
-            "swc-id": "101",
-            "title": "Integer Overflow"
-        }
-    ],
+    "issues": [],
     "success": true
 }
\ No newline at end of file
diff --git a/tests/testdata/outputs_expected/metacoin.sol.o.jsonv2 b/tests/testdata/outputs_expected/metacoin.sol.o.jsonv2
index 9c96d9d3..40de69b4 100644
--- a/tests/testdata/outputs_expected/metacoin.sol.o.jsonv2
+++ b/tests/testdata/outputs_expected/metacoin.sol.o.jsonv2
@@ -1,24 +1,6 @@
 [
     {
-        "issues": [
-            {
-                "description": {
-                    "head": "The binary addition can overflow.",
-                    "tail": "The operands of the addition operation are not sufficiently constrained. The addition could therefore result in an integer overflow. Prevent the overflow by checking inputs or ensure sure that the overflow is caught by an assertion."
-                },
-                "extra": {
-                    "discoveryTime": "<DISCOVERY-TIME-DATA>"
-                },
-                "locations": [
-                    {
-                        "sourceMap": "498:1:0"
-                    }
-                ],
-                "severity": "High",
-                "swcID": "SWC-101",
-                "swcTitle": "Integer Overflow and Underflow"
-            }
-        ],
+        "issues": [],
         "meta": {},
         "sourceFormat": "evm-byzantium-bytecode",
         "sourceList": [
diff --git a/tests/testdata/outputs_expected/metacoin.sol.o.markdown b/tests/testdata/outputs_expected/metacoin.sol.o.markdown
index 1eb30c6a..321484fd 100644
--- a/tests/testdata/outputs_expected/metacoin.sol.o.markdown
+++ b/tests/testdata/outputs_expected/metacoin.sol.o.markdown
@@ -1,14 +1,3 @@
-# Analysis results for test-filename.sol
+# Analysis results for None
 
-## Integer Overflow
-- SWC ID: 101
-- Severity: High
-- Contract: Unknown
-- Function name: `sendToken(address,uint256)`
-- PC address: 498
-- Estimated Gas Usage: 11860 - 52806
-
-### Description
-
-The binary addition can overflow.
-The operands of the addition operation are not sufficiently constrained. The addition could therefore result in an integer overflow. Prevent the overflow by checking inputs or ensure sure that the overflow is caught by an assertion.
+The analysis was completed successfully. No issues were detected.
diff --git a/tests/testdata/outputs_expected/metacoin.sol.o.text b/tests/testdata/outputs_expected/metacoin.sol.o.text
index 412039a2..729320d8 100644
--- a/tests/testdata/outputs_expected/metacoin.sol.o.text
+++ b/tests/testdata/outputs_expected/metacoin.sol.o.text
@@ -1,11 +1 @@
-==== Integer Overflow ====
-SWC ID: 101
-Severity: High
-Contract: Unknown
-Function name: sendToken(address,uint256)
-PC address: 498
-Estimated Gas Usage: 11860 - 52806
-The binary addition can overflow.
-The operands of the addition operation are not sufficiently constrained. The addition could therefore result in an integer overflow. Prevent the overflow by checking inputs or ensure sure that the overflow is caught by an assertion.
---------------------
-
+The analysis was completed successfully. No issues were detected.