Fixed some typos in original rules

kernel/rules/MvK_rules.mvc

@@ -18,7 +18,7 @@ Rule Access_Eval_N1 {
         value = "'finish'"
     }
     Create N1_6 {}
-    Delete N1_7 {}
+    Match N1_7 {}
 
     MatchEdge (N1_0, N1_1) {
         value = "username"
@@ -200,6 +200,9 @@ Rule Assign_Init_N4 {
     CreateEdge (N4_2, N4_8) {
         value = "'IP'"
     }
+    CreateEdge (N4_4, N4_5) {
+        value = "'prev'"
+    }
     CreateEdge (N4_5, N4_6) {
         value = "'inst'"
     }
@@ -273,9 +276,6 @@ Rule Assign_Value_N5 {
     CreateEdge (N5_5, N5_9) {
         value = "'prev'"
     }
-    DeleteEdge (N5_5, N5_9) {
-        value = "'evalstack'"
-    }
     CreateEdge (N5_9, N5_4) {
         value = "'inst'"
     }
@@ -363,7 +363,7 @@ Rule Call_Call_None_N7 {
     }
     Create N7_4 {}
     Create N7_5 {}
-    Create N7_6 {
+    Match N7_6 {
         value = "!call"
     }
     Create N7_7 {}
@@ -552,6 +552,9 @@ Rule Call_Params_First_Multi_N9 {
     MatchEdge (N9_1, N9_2) {
         value = "'frame'"
     }
+    CreateEdge (N9_2, N9_12) {
+        value = "'evalstack'"
+    }
     DeleteEdge (N9_2, N9_13) {
         value = "'evalstack'"
     }
@@ -603,6 +606,9 @@ Rule Call_Params_First_Multi_N9 {
     CreateEdge (N9_13, N9_14) {
         value = "'inst'"
     }
+    CreateEdge (N9_13, N9_16) {
+        value = "'phase'"
+    }
     MatchEdge (N9_14, N9_15) {
         value = "'params'"
     }
@@ -685,6 +691,15 @@ Rule Call_Params_First_Single_N10 {
     CreateEdge (N10_3, N10_7) {
         value = "'returnvalue'"
     }
+    CreateEdge (N10_3, N10_2) {
+        value = "'prev'"
+    }
+    CreateEdge (N10_3, N10_8) {
+        value = "'IP'"
+    }
+    CreateEdge (N10_3, N10_14) {
+        value = "'caller'"
+    }
     MatchEdge (N10_10, N10_8) {
         value = "'body'"
     }
@@ -987,7 +1002,9 @@ Rule Call_Resolve_Params_N14 {
     Match N14_2 {}
     Match N14_3 {}
     Create N14_4 {}
-    Match N14_5 {}
+    Match N14_5 {
+        value = "!call"
+    }
     Match N14_6 {}
     Match N14_7 {
         value = "'init'"