Fix most (all?) typos in MvK rules

kernel/rules/MvK_rules.mvc

@@ -1116,7 +1116,7 @@ Rule Continue_N16 {
         value = "'frame'"
     }
     MatchEdge (N16_2, N16_3) {
-        value = "'init'"
+        value = "'phase'"
     }
     DeleteEdge (N16_2, N16_4) {
         value = "'IP'"
@@ -1171,7 +1171,7 @@ Rule Declare_Init_N17 {
         value = "'phase'"
     }
     CreateEdge (N17_2, N17_4) {
-        value = "'finish'"
+        value = "'phase'"
     }
     MatchEdge (N17_2, N17_5) {
         value = "'IP'"
@@ -1216,7 +1216,7 @@ Rule Global_Init_N18 {
         value = "'phase'"
     }
     CreateEdge (N18_2, N18_5) {
-        value = "'finish'"
+        value = "'phase'"
     }
     MatchEdge (N18_2, N18_6) {
         value = "'IP'"
@@ -1431,11 +1431,14 @@ Rule If_True_N22 {
     CreateEdge (N22_2, N22_4) {
         value = "'evalstack'"
     }
+    CreateEdge (N22_4, N22_7) {
+        value = "'prev'"
+    }
     CreateEdge (N22_2, N22_5) {
         value = "'phase'"
     }
     MatchEdge (N22_2, N22_6) {
-        value = "True"
+        value = "'returnvalue'"
     }
     DeleteEdge (N22_2, N22_7) {
         value = "'evalstack'"
@@ -1497,9 +1500,7 @@ Rule Next_NoNext_N25 {
     Delete N25_3 {
         value = "'finish'"
     }
-    Match N25_4 {
-        value = "'IP'"
-    }
+    Match N25_4 {}
     Match N25_5 {}
     Delete N25_6 {}
     Match N25_7 {}
@@ -1576,6 +1577,9 @@ Rule Output_Init_N26 {
     CreateEdge (N26_2, N26_5) {
         value = "'evalstack'"
     }
+    CreateEdge (N26_5, N26_6) {
+        value = "'prev'"
+    }
     DeleteEdge (N26_2, N26_6) {
         value = "'evalstack'"
     }
@@ -1637,6 +1641,9 @@ Rule Output_Output_N27 {
     CreateEdge (N27_1, N27_8) {
         value = "'last_output'"
     }
+    DeleteEdge (N27_1, N27_3) {
+        value = "'last_output'"
+    }
 }
 
 Rule Resolve_NoAttrGlobal_N28 {
@@ -1669,7 +1676,7 @@ Rule Resolve_NoAttrGlobal_N28 {
         value = "'frame'"
     }
     CreateEdge (N28_3, N28_4) {
-        value = "'finish'"
+        value = "'phase'"
     }
     MatchEdge (N28_3, N28_5) {
         value = "'symbols'"
@@ -2028,4 +2035,7 @@ Rule While_True_N35 {
     CreateEdge (N35_8, N35_5) {
         value = "taskname"
     }
+    CreateEdge (N35_6, N35_8) {
+        value = "'prev'"
+    }
 }