@keep-network/tbtc-v2 1.6.0-dev.5 → 1.6.0-dev.7

package/export/artifacts/@thesis/solidity-contracts/contracts/token/MisfundRecovery.sol/MisfundRecovery.json

@@ -129,21 +129,21 @@
   "evm": {
     "bytecode": {
       "functionDebugData": {
-        "@_17287": {
+        "@_17296": {
           "entryPoint": null,
-          "id": 17287,
+          "id": 17296,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@_msgSender_20009": {
+        "@_msgSender_20018": {
           "entryPoint": null,
-          "id": 20009,
+          "id": 20018,
           "parameterSlots": 0,
           "returnSlots": 1
         },
-        "@_transferOwnership_17375": {
+        "@_transferOwnership_17384": {
           "entryPoint": 31,
-          "id": 17375,
+          "id": 17384,
           "parameterSlots": 1,
           "returnSlots": 0
         }
@@ -155,93 +155,93 @@
     },
     "deployedBytecode": {
       "functionDebugData": {
-        "@_callOptionalReturn_18560": {
+        "@_callOptionalReturn_18569": {
           "entryPoint": 872,
-          "id": 18560,
+          "id": 18569,
           "parameterSlots": 2,
           "returnSlots": 0
         },
-        "@_checkOwner_17318": {
+        "@_checkOwner_17327": {
           "entryPoint": 550,
-          "id": 17318,
+          "id": 17327,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@_msgSender_20009": {
+        "@_msgSender_20018": {
           "entryPoint": null,
-          "id": 20009,
+          "id": 20018,
           "parameterSlots": 0,
           "returnSlots": 1
         },
-        "@_revert_19996": {
+        "@_revert_20005": {
           "entryPoint": null,
-          "id": 19996,
+          "id": 20005,
           "parameterSlots": 2,
           "returnSlots": 0
         },
-        "@_transferOwnership_17375": {
+        "@_transferOwnership_17384": {
           "entryPoint": 768,
-          "id": 17375,
+          "id": 17384,
           "parameterSlots": 1,
           "returnSlots": 0
         },
-        "@functionCallWithValue_19821": {
+        "@functionCallWithValue_19830": {
           "entryPoint": 1124,
-          "id": 19821,
+          "id": 19830,
           "parameterSlots": 4,
           "returnSlots": 1
         },
-        "@functionCall_19757": {
+        "@functionCall_19766": {
           "entryPoint": 1101,
-          "id": 19757,
+          "id": 19766,
           "parameterSlots": 3,
           "returnSlots": 1
         },
-        "@isContract_19685": {
+        "@isContract_19694": {
           "entryPoint": null,
-          "id": 19685,
+          "id": 19694,
           "parameterSlots": 1,
           "returnSlots": 1
         },
-        "@owner_17304": {
+        "@owner_17313": {
           "entryPoint": null,
-          "id": 17304,
+          "id": 17313,
           "parameterSlots": 0,
           "returnSlots": 1
         },
-        "@recoverERC20_22320": {
+        "@recoverERC20_22329": {
           "entryPoint": 206,
-          "id": 22320,
+          "id": 22329,
           "parameterSlots": 3,
           "returnSlots": 0
         },
-        "@recoverERC721_22347": {
+        "@recoverERC721_22356": {
           "entryPoint": 408,
-          "id": 22347,
+          "id": 22356,
           "parameterSlots": 5,
           "returnSlots": 0
         },
-        "@renounceOwnership_17332": {
+        "@renounceOwnership_17341": {
           "entryPoint": 239,
-          "id": 17332,
+          "id": 17341,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@safeTransfer_18312": {
+        "@safeTransfer_18321": {
           "entryPoint": 640,
-          "id": 18312,
+          "id": 18321,
           "parameterSlots": 3,
           "returnSlots": 0
         },
-        "@transferOwnership_17355": {
+        "@transferOwnership_17364": {
           "entryPoint": 259,
-          "id": 17355,
+          "id": 17364,
           "parameterSlots": 1,
           "returnSlots": 0
         },
-        "@verifyCallResultFromTarget_19952": {
+        "@verifyCallResultFromTarget_19961": {
           "entryPoint": 1366,
-          "id": 19952,
+          "id": 19961,
           "parameterSlots": 4,
           "returnSlots": 1
         },
@@ -257,13 +257,13 @@
           "parameterSlots": 2,
           "returnSlots": 1
         },
-        "abi_decode_tuple_t_contract$_IERC20_$18219t_addresst_uint256": {
+        "abi_decode_tuple_t_contract$_IERC20_$18228t_addresst_uint256": {
           "entryPoint": 1545,
           "id": null,
           "parameterSlots": 2,
           "returnSlots": 3
         },
-        "abi_decode_tuple_t_contract$_IERC721_$19622t_addresst_uint256t_bytes_calldata_ptr": {
+        "abi_decode_tuple_t_contract$_IERC721_$19631t_addresst_uint256t_bytes_calldata_ptr": {
           "entryPoint": 1646,
           "id": null,
           "parameterSlots": 2,
@@ -737,7 +737,7 @@
                     }
                   ]
                 },
-                "name": "abi_decode_tuple_t_contract$_IERC20_$18219t_addresst_uint256",
+                "name": "abi_decode_tuple_t_contract$_IERC20_$18228t_addresst_uint256",
                 "nodeType": "YulFunctionDefinition",
                 "parameters": [
                   {
@@ -1815,7 +1815,7 @@
                     }
                   ]
                 },
-                "name": "abi_decode_tuple_t_contract$_IERC721_$19622t_addresst_uint256t_bytes_calldata_ptr",
+                "name": "abi_decode_tuple_t_contract$_IERC721_$19631t_addresst_uint256t_bytes_calldata_ptr",
                 "nodeType": "YulFunctionDefinition",
                 "parameters": [
                   {
@@ -4492,7 +4492,7 @@
               }
             ]
           },
-          "contents": "{\n    { }\n    function validator_revert_contract_IERC20(value)\n    {\n        if iszero(eq(value, and(value, 0xffffffffffffffffffffffffffffffffffffffff))) { revert(0, 0) }\n    }\n    function abi_decode_tuple_t_contract$_IERC20_$18219t_addresst_uint256(headStart, dataEnd) -> value0, value1, value2\n    {\n        if slt(sub(dataEnd, headStart), 96) { revert(0, 0) }\n        let value := calldataload(headStart)\n        validator_revert_contract_IERC20(value)\n        value0 := value\n        let value_1 := calldataload(add(headStart, 32))\n        validator_revert_contract_IERC20(value_1)\n        value1 := value_1\n        value2 := calldataload(add(headStart, 64))\n    }\n    function abi_encode_tuple_t_address__to_t_address__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, and(value0, 0xffffffffffffffffffffffffffffffffffffffff))\n    }\n    function abi_decode_tuple_t_address(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        let value := calldataload(headStart)\n        validator_revert_contract_IERC20(value)\n        value0 := value\n    }\n    function abi_decode_tuple_t_contract$_IERC721_$19622t_addresst_uint256t_bytes_calldata_ptr(headStart, dataEnd) -> value0, value1, value2, value3, value4\n    {\n        if slt(sub(dataEnd, headStart), 128) { revert(0, 0) }\n        let value := calldataload(headStart)\n        validator_revert_contract_IERC20(value)\n        value0 := value\n        let value_1 := calldataload(add(headStart, 32))\n        validator_revert_contract_IERC20(value_1)\n        value1 := value_1\n        value2 := calldataload(add(headStart, 64))\n        let offset := calldataload(add(headStart, 96))\n        let _1 := 0xffffffffffffffff\n        if gt(offset, _1) { revert(0, 0) }\n        let _2 := add(headStart, offset)\n        if iszero(slt(add(_2, 0x1f), dataEnd)) { revert(0, 0) }\n        let length := calldataload(_2)\n        if gt(length, _1) { revert(0, 0) }\n        if gt(add(add(_2, length), 32), dataEnd) { revert(0, 0) }\n        value3 := add(_2, 32)\n        value4 := length\n    }\n    function abi_encode_tuple_t_stringliteral_245f15ff17f551913a7a18385165551503906a406f905ac1c2437281a7cd0cfe__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 38)\n        mstore(add(headStart, 64), \"Ownable: new owner is the zero a\")\n        mstore(add(headStart, 96), \"ddress\")\n        tail := add(headStart, 128)\n    }\n    function abi_encode_tuple_t_address_t_address_t_uint256_t_bytes_calldata_ptr__to_t_address_t_address_t_uint256_t_bytes_memory_ptr__fromStack_reversed(headStart, value4, value3, value2, value1, value0) -> tail\n    {\n        let _1 := 0xffffffffffffffffffffffffffffffffffffffff\n        mstore(headStart, and(value0, _1))\n        mstore(add(headStart, 32), and(value1, _1))\n        mstore(add(headStart, 64), value2)\n        mstore(add(headStart, 96), 128)\n        mstore(add(headStart, 128), value4)\n        calldatacopy(add(headStart, 160), value3, value4)\n        mstore(add(add(headStart, value4), 160), 0)\n        tail := add(add(headStart, and(add(value4, 31), not(31))), 160)\n    }\n    function abi_encode_tuple_t_stringliteral_9924ebdf1add33d25d4ef888e16131f0a5687b0580a36c21b5c301a6c462effe__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 32)\n        mstore(add(headStart, 64), \"Ownable: caller is not the owner\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_address_t_uint256__to_t_address_t_uint256__fromStack_reversed(headStart, value1, value0) -> tail\n    {\n        tail := add(headStart, 64)\n        mstore(headStart, and(value0, 0xffffffffffffffffffffffffffffffffffffffff))\n        mstore(add(headStart, 32), value1)\n    }\n    function abi_decode_tuple_t_bool_fromMemory(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        let value := mload(headStart)\n        if iszero(eq(value, iszero(iszero(value)))) { revert(0, 0) }\n        value0 := value\n    }\n    function abi_encode_tuple_t_stringliteral_e11ad79d1e4a7f2e5f376964cb99e8e8f7904e3fc16a109f7a7ecb9aa7956dcd__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 42)\n        mstore(add(headStart, 64), \"SafeERC20: ERC20 operation did n\")\n        mstore(add(headStart, 96), \"ot succeed\")\n        tail := add(headStart, 128)\n    }\n    function abi_encode_tuple_t_stringliteral_565f1a77334fc4792800921178c71e4521acffab18ff9e7885b49377ee80ab4c__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 38)\n        mstore(add(headStart, 64), \"Address: insufficient balance fo\")\n        mstore(add(headStart, 96), \"r call\")\n        tail := add(headStart, 128)\n    }\n    function copy_memory_to_memory_with_cleanup(src, dst, length)\n    {\n        let i := 0\n        for { } lt(i, length) { i := add(i, 32) }\n        {\n            mstore(add(dst, i), mload(add(src, i)))\n        }\n        mstore(add(dst, length), 0)\n    }\n    function abi_encode_tuple_packed_t_bytes_memory_ptr__to_t_bytes_memory_ptr__nonPadded_inplace_fromStack_reversed(pos, value0) -> end\n    {\n        let length := mload(value0)\n        copy_memory_to_memory_with_cleanup(add(value0, 0x20), pos, length)\n        end := add(pos, length)\n    }\n    function abi_encode_tuple_t_stringliteral_cc2e4e38850b7c0a3e942cfed89b71c77302df25bcb2ec297a0c4ff9ff6b90ad__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 29)\n        mstore(add(headStart, 64), \"Address: call to non-contract\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_string_memory_ptr__to_t_string_memory_ptr__fromStack_reversed(headStart, value0) -> tail\n    {\n        mstore(headStart, 32)\n        let length := mload(value0)\n        mstore(add(headStart, 32), length)\n        copy_memory_to_memory_with_cleanup(add(value0, 32), add(headStart, 64), length)\n        tail := add(add(headStart, and(add(length, 31), not(31))), 64)\n    }\n}",
+          "contents": "{\n    { }\n    function validator_revert_contract_IERC20(value)\n    {\n        if iszero(eq(value, and(value, 0xffffffffffffffffffffffffffffffffffffffff))) { revert(0, 0) }\n    }\n    function abi_decode_tuple_t_contract$_IERC20_$18228t_addresst_uint256(headStart, dataEnd) -> value0, value1, value2\n    {\n        if slt(sub(dataEnd, headStart), 96) { revert(0, 0) }\n        let value := calldataload(headStart)\n        validator_revert_contract_IERC20(value)\n        value0 := value\n        let value_1 := calldataload(add(headStart, 32))\n        validator_revert_contract_IERC20(value_1)\n        value1 := value_1\n        value2 := calldataload(add(headStart, 64))\n    }\n    function abi_encode_tuple_t_address__to_t_address__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, and(value0, 0xffffffffffffffffffffffffffffffffffffffff))\n    }\n    function abi_decode_tuple_t_address(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        let value := calldataload(headStart)\n        validator_revert_contract_IERC20(value)\n        value0 := value\n    }\n    function abi_decode_tuple_t_contract$_IERC721_$19631t_addresst_uint256t_bytes_calldata_ptr(headStart, dataEnd) -> value0, value1, value2, value3, value4\n    {\n        if slt(sub(dataEnd, headStart), 128) { revert(0, 0) }\n        let value := calldataload(headStart)\n        validator_revert_contract_IERC20(value)\n        value0 := value\n        let value_1 := calldataload(add(headStart, 32))\n        validator_revert_contract_IERC20(value_1)\n        value1 := value_1\n        value2 := calldataload(add(headStart, 64))\n        let offset := calldataload(add(headStart, 96))\n        let _1 := 0xffffffffffffffff\n        if gt(offset, _1) { revert(0, 0) }\n        let _2 := add(headStart, offset)\n        if iszero(slt(add(_2, 0x1f), dataEnd)) { revert(0, 0) }\n        let length := calldataload(_2)\n        if gt(length, _1) { revert(0, 0) }\n        if gt(add(add(_2, length), 32), dataEnd) { revert(0, 0) }\n        value3 := add(_2, 32)\n        value4 := length\n    }\n    function abi_encode_tuple_t_stringliteral_245f15ff17f551913a7a18385165551503906a406f905ac1c2437281a7cd0cfe__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 38)\n        mstore(add(headStart, 64), \"Ownable: new owner is the zero a\")\n        mstore(add(headStart, 96), \"ddress\")\n        tail := add(headStart, 128)\n    }\n    function abi_encode_tuple_t_address_t_address_t_uint256_t_bytes_calldata_ptr__to_t_address_t_address_t_uint256_t_bytes_memory_ptr__fromStack_reversed(headStart, value4, value3, value2, value1, value0) -> tail\n    {\n        let _1 := 0xffffffffffffffffffffffffffffffffffffffff\n        mstore(headStart, and(value0, _1))\n        mstore(add(headStart, 32), and(value1, _1))\n        mstore(add(headStart, 64), value2)\n        mstore(add(headStart, 96), 128)\n        mstore(add(headStart, 128), value4)\n        calldatacopy(add(headStart, 160), value3, value4)\n        mstore(add(add(headStart, value4), 160), 0)\n        tail := add(add(headStart, and(add(value4, 31), not(31))), 160)\n    }\n    function abi_encode_tuple_t_stringliteral_9924ebdf1add33d25d4ef888e16131f0a5687b0580a36c21b5c301a6c462effe__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 32)\n        mstore(add(headStart, 64), \"Ownable: caller is not the owner\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_address_t_uint256__to_t_address_t_uint256__fromStack_reversed(headStart, value1, value0) -> tail\n    {\n        tail := add(headStart, 64)\n        mstore(headStart, and(value0, 0xffffffffffffffffffffffffffffffffffffffff))\n        mstore(add(headStart, 32), value1)\n    }\n    function abi_decode_tuple_t_bool_fromMemory(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        let value := mload(headStart)\n        if iszero(eq(value, iszero(iszero(value)))) { revert(0, 0) }\n        value0 := value\n    }\n    function abi_encode_tuple_t_stringliteral_e11ad79d1e4a7f2e5f376964cb99e8e8f7904e3fc16a109f7a7ecb9aa7956dcd__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 42)\n        mstore(add(headStart, 64), \"SafeERC20: ERC20 operation did n\")\n        mstore(add(headStart, 96), \"ot succeed\")\n        tail := add(headStart, 128)\n    }\n    function abi_encode_tuple_t_stringliteral_565f1a77334fc4792800921178c71e4521acffab18ff9e7885b49377ee80ab4c__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 38)\n        mstore(add(headStart, 64), \"Address: insufficient balance fo\")\n        mstore(add(headStart, 96), \"r call\")\n        tail := add(headStart, 128)\n    }\n    function copy_memory_to_memory_with_cleanup(src, dst, length)\n    {\n        let i := 0\n        for { } lt(i, length) { i := add(i, 32) }\n        {\n            mstore(add(dst, i), mload(add(src, i)))\n        }\n        mstore(add(dst, length), 0)\n    }\n    function abi_encode_tuple_packed_t_bytes_memory_ptr__to_t_bytes_memory_ptr__nonPadded_inplace_fromStack_reversed(pos, value0) -> end\n    {\n        let length := mload(value0)\n        copy_memory_to_memory_with_cleanup(add(value0, 0x20), pos, length)\n        end := add(pos, length)\n    }\n    function abi_encode_tuple_t_stringliteral_cc2e4e38850b7c0a3e942cfed89b71c77302df25bcb2ec297a0c4ff9ff6b90ad__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 29)\n        mstore(add(headStart, 64), \"Address: call to non-contract\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_string_memory_ptr__to_t_string_memory_ptr__fromStack_reversed(headStart, value0) -> tail\n    {\n        mstore(headStart, 32)\n        let length := mload(value0)\n        mstore(add(headStart, 32), length)\n        copy_memory_to_memory_with_cleanup(add(value0, 32), add(headStart, 64), length)\n        tail := add(add(headStart, and(add(length, 31), not(31))), 64)\n    }\n}",
           "id": 126,
           "language": "Yul",
           "name": "#utility.yul"
@@ -4529,7 +4529,7 @@
   "storageLayout": {
     "storage": [
       {
-        "astId": 17271,
+        "astId": 17280,
         "contract": "@thesis/solidity-contracts/contracts/token/MisfundRecovery.sol:MisfundRecovery",
         "label": "_owner",
         "offset": 0,

package/export/artifacts/contracts/bank/Bank.sol/Bank.json

@@ -647,33 +647,33 @@
   "evm": {
     "bytecode": {
       "functionDebugData": {
-        "@_17287": {
+        "@_17296": {
           "entryPoint": null,
-          "id": 17287,
+          "id": 17296,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@_22888": {
+        "@_22861": {
           "entryPoint": null,
-          "id": 22888,
+          "id": 22861,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@_msgSender_20009": {
+        "@_msgSender_20018": {
           "entryPoint": null,
-          "id": 20009,
+          "id": 20018,
           "parameterSlots": 0,
           "returnSlots": 1
         },
-        "@_transferOwnership_17375": {
+        "@_transferOwnership_17384": {
           "entryPoint": 249,
-          "id": 17375,
+          "id": 17384,
           "parameterSlots": 1,
           "returnSlots": 0
         },
-        "@buildDomainSeparator_23522": {
+        "@buildDomainSeparator_23495": {
           "entryPoint": null,
-          "id": 23522,
+          "id": 23495,
           "parameterSlots": 0,
           "returnSlots": 1
         },
@@ -1051,183 +1051,183 @@
     },
     "deployedBytecode": {
       "functionDebugData": {
-        "@DOMAIN_SEPARATOR_23362": {
+        "@DOMAIN_SEPARATOR_23335": {
           "entryPoint": 1420,
-          "id": 23362,
+          "id": 23335,
           "parameterSlots": 0,
           "returnSlots": 1
         },
-        "@PERMIT_TYPEHASH_22827": {
+        "@PERMIT_TYPEHASH_22800": {
           "entryPoint": null,
-          "id": 22827,
+          "id": 22800,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@_approveBalance_23489": {
+        "@_approveBalance_23462": {
           "entryPoint": 4047,
-          "id": 23489,
+          "id": 23462,
           "parameterSlots": 3,
           "returnSlots": 0
         },
-        "@_checkOwner_17318": {
+        "@_checkOwner_17327": {
           "entryPoint": 4953,
-          "id": 17318,
+          "id": 17327,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@_increaseBalance_23391": {
+        "@_increaseBalance_23364": {
           "entryPoint": 4268,
-          "id": 23391,
+          "id": 23364,
           "parameterSlots": 2,
           "returnSlots": 0
         },
-        "@_msgSender_20009": {
+        "@_msgSender_20018": {
           "entryPoint": null,
-          "id": 20009,
+          "id": 20018,
           "parameterSlots": 0,
           "returnSlots": 1
         },
-        "@_transferBalance_23455": {
+        "@_transferBalance_23428": {
           "entryPoint": 4505,
-          "id": 23455,
+          "id": 23428,
           "parameterSlots": 3,
           "returnSlots": 0
         },
-        "@_transferOwnership_17375": {
+        "@_transferOwnership_17384": {
           "entryPoint": 5043,
-          "id": 17375,
+          "id": 17384,
           "parameterSlots": 1,
           "returnSlots": 0
         },
-        "@allowance_22812": {
+        "@allowance_22785": {
           "entryPoint": null,
-          "id": 22812,
+          "id": 22785,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@approveBalanceAndCall_22991": {
+        "@approveBalanceAndCall_22964": {
           "entryPoint": 2022,
-          "id": 22991,
+          "id": 22964,
           "parameterSlots": 4,
           "returnSlots": 0
         },
-        "@approveBalance_22963": {
+        "@approveBalance_22936": {
           "entryPoint": 1847,
-          "id": 22963,
+          "id": 22936,
           "parameterSlots": 2,
           "returnSlots": 0
         },
-        "@balanceOf_22805": {
+        "@balanceOf_22778": {
           "entryPoint": null,
-          "id": 22805,
+          "id": 22778,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@bridge_22800": {
+        "@bridge_22773": {
           "entryPoint": null,
-          "id": 22800,
+          "id": 22773,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@buildDomainSeparator_23522": {
+        "@buildDomainSeparator_23495": {
           "entryPoint": null,
-          "id": 23522,
+          "id": 23495,
           "parameterSlots": 0,
           "returnSlots": 1
         },
-        "@cachedChainId_22819": {
+        "@cachedChainId_22792": {
           "entryPoint": null,
-          "id": 22819,
+          "id": 22792,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@cachedDomainSeparator_22821": {
+        "@cachedDomainSeparator_22794": {
           "entryPoint": null,
-          "id": 22821,
+          "id": 22794,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@decreaseBalanceAllowance_23049": {
+        "@decreaseBalanceAllowance_23022": {
           "entryPoint": 966,
-          "id": 23049,
+          "id": 23022,
           "parameterSlots": 2,
           "returnSlots": 0
         },
-        "@decreaseBalance_23343": {
+        "@decreaseBalance_23316": {
           "entryPoint": 1755,
-          "id": 23343,
+          "id": 23316,
           "parameterSlots": 1,
           "returnSlots": 0
         },
-        "@increaseBalanceAllowance_23014": {
+        "@increaseBalanceAllowance_22987": {
           "entryPoint": 2275,
-          "id": 23014,
+          "id": 22987,
           "parameterSlots": 2,
           "returnSlots": 0
         },
-        "@increaseBalanceAndCall_23323": {
+        "@increaseBalanceAndCall_23296": {
           "entryPoint": 2738,
-          "id": 23323,
+          "id": 23296,
           "parameterSlots": 5,
           "returnSlots": 0
         },
-        "@increaseBalance_23263": {
+        "@increaseBalance_23236": {
           "entryPoint": 2175,
-          "id": 23263,
+          "id": 23236,
           "parameterSlots": 2,
           "returnSlots": 0
         },
-        "@increaseBalances_23247": {
+        "@increaseBalances_23220": {
           "entryPoint": 1143,
-          "id": 23247,
+          "id": 23220,
           "parameterSlots": 4,
           "returnSlots": 0
         },
-        "@nonces_22817": {
+        "@nonces_22790": {
           "entryPoint": null,
-          "id": 22817,
+          "id": 22790,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@owner_17304": {
+        "@owner_17313": {
           "entryPoint": null,
-          "id": 17304,
+          "id": 17313,
           "parameterSlots": 0,
           "returnSlots": 1
         },
-        "@permit_23203": {
+        "@permit_23176": {
           "entryPoint": 3119,
-          "id": 23203,
+          "id": 23176,
           "parameterSlots": 7,
           "returnSlots": 0
         },
-        "@renounceOwnership_17332": {
+        "@renounceOwnership_17341": {
           "entryPoint": 2525,
-          "id": 17332,
+          "id": 17341,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@transferBalanceFrom_23101": {
+        "@transferBalanceFrom_23074": {
           "entryPoint": 2545,
-          "id": 23101,
+          "id": 23074,
           "parameterSlots": 3,
           "returnSlots": 0
         },
-        "@transferBalance_22931": {
+        "@transferBalance_22904": {
           "entryPoint": 2164,
-          "id": 22931,
+          "id": 22904,
           "parameterSlots": 2,
           "returnSlots": 0
         },
-        "@transferOwnership_17355": {
+        "@transferOwnership_17364": {
           "entryPoint": 3903,
-          "id": 17355,
+          "id": 17364,
           "parameterSlots": 1,
           "returnSlots": 0
         },
-        "@updateBridge_22915": {
+        "@updateBridge_22888": {
           "entryPoint": 2334,
-          "id": 22915,
+          "id": 22888,
           "parameterSlots": 1,
           "returnSlots": 0
         },
@@ -11742,7 +11742,7 @@
         }
       ],
       "immutableReferences": {
-        "22819": [
+        "22792": [
           {
             "length": 32,
             "start": 686
@@ -11752,7 +11752,7 @@
             "start": 1424
           }
         ],
-        "22821": [
+        "22794": [
           {
             "length": 32,
             "start": 813
@@ -11835,7 +11835,7 @@
   "storageLayout": {
     "storage": [
       {
-        "astId": 17271,
+        "astId": 17280,
         "contract": "contracts/bank/Bank.sol:Bank",
         "label": "_owner",
         "offset": 0,
@@ -11843,7 +11843,7 @@
         "type": "t_address"
       },
       {
-        "astId": 22800,
+        "astId": 22773,
         "contract": "contracts/bank/Bank.sol:Bank",
         "label": "bridge",
         "offset": 0,
@@ -11851,7 +11851,7 @@
         "type": "t_address"
       },
       {
-        "astId": 22805,
+        "astId": 22778,
         "contract": "contracts/bank/Bank.sol:Bank",
         "label": "balanceOf",
         "offset": 0,
@@ -11859,7 +11859,7 @@
         "type": "t_mapping(t_address,t_uint256)"
       },
       {
-        "astId": 22812,
+        "astId": 22785,
         "contract": "contracts/bank/Bank.sol:Bank",
         "label": "allowance",
         "offset": 0,
@@ -11867,7 +11867,7 @@
         "type": "t_mapping(t_address,t_mapping(t_address,t_uint256))"
       },
       {
-        "astId": 22817,
+        "astId": 22790,
         "contract": "contracts/bank/Bank.sol:Bank",
         "label": "nonces",
         "offset": 0,