Refactored cross-chain policy JSON

Author: merendamattia

datasets/cross-chain/smartaxe/manually-labeled/PolyNetwork20210810/cross-chain-policy.json

@@ -1,5 +1,38 @@
 {
   "policy": [
+    {
+      "sourceFunction": {
+        "name": "lock",
+        "events": [
+          "PolyWrapperLock"
+        ]
+      },
+      "destinationFunction": {
+        "name": "lock"
+      }
+    },
+    {
+      "sourceFunction": {
+        "name": "onERC721Received",
+        "events": [
+          "LockEvent"
+        ]
+      },
+      "destinationFunction": {
+        "name": "unlock"
+      }
+    },
+    {
+      "sourceFunction": {
+        "name": "unlock",
+        "events": [
+          "UnlockEvent"
+        ]
+      },
+      "destinationFunction": {
+        "name": "unlock"
+      }
+    },
     {
       "sourceFunction": {
         "name": "initGenesisBlock",
@@ -46,35 +79,35 @@
     },
     {
       "sourceFunction": {
-        "name": "_executeCrossChainTx",
+        "name": "pause",
         "events": [
-          "VerifyHeaderAndExecuteTxEvent"
+          "Paused"
         ]
       },
       "destinationFunction": {
-        "name": "verifyHeaderAndExecuteTx"
+        "name": "pause"
       }
     },
     {
       "sourceFunction": {
-        "name": "pause",
+        "name": "unpause",
         "events": [
-          "Paused"
+          "Unpaused"
         ]
       },
       "destinationFunction": {
-        "name": "pause"
+        "name": "unpause"
       }
     },
     {
       "sourceFunction": {
-        "name": "unpause",
+        "name": "_executeCrossChainTx",
         "events": [
-          "Unpaused"
+          "VerifyHeaderAndExecuteTxEvent"
         ]
       },
       "destinationFunction": {
-        "name": "unpause"
+        "name": "verifyHeaderAndExecuteTx"
       }
     }
   ]