Updated MvK rules

bootstrap/MvK_rules.mvc

@@ -310,6 +310,10 @@ Rule Break_N6 {
     Match N6_6 {
         value = "!while"
     }
+    Match N6_7 {}
+    Match N6_8 {}
+    Create N6_9 {}
+    Match N6_10 {}
 
     MatchEdge (N6_0, N6_1) {
         value = "username"
@@ -332,6 +336,21 @@ Rule Break_N6 {
     MatchEdge (N6_5, N6_6) {
         value = "'while'"
     }
+    DeleteEdge (N6_2, N6_7) {
+        value = "'evalstack'"
+    }
+    MatchEdge (N6_8, N6_6) {
+        value = "taskname"
+    }
+    DeleteEdge (N6_10, N6_8) {
+        value = "'prev'"
+    }
+    CreateEdge (N6_2, N6_9) {
+        value = "'evalstack'"
+    }
+    CreateEdge (N6_9, N6_8) {
+        value = "'prev'"
+    }
 }
 
 Rule Call_Call_None_N7 {
@@ -1069,6 +1088,10 @@ Rule Continue_N16 {
     Match N16_5 {
         value = "!while"
     }
+    Match N16_7 {}
+    Match N16_8 {}
+    Create N16_9 {}
+    Match N16_10 {}
 
     MatchEdge (N16_0, N16_1) {
         value = "username"
@@ -1088,6 +1111,21 @@ Rule Continue_N16 {
     MatchEdge (N16_4, N16_5) {
         value = "'while'"
     }
+    DeleteEdge (N16_2, N16_7) {
+        value = "'evalstack'"
+    }
+    MatchEdge (N16_8, N16_6) {
+        value = "taskname"
+    }
+    DeleteEdge (N16_10, N16_8) {
+        value = "'prev'"
+    }
+    CreateEdge (N16_2, N16_9) {
+        value = "'evalstack'"
+    }
+    CreateEdge (N16_9, N16_8) {
+        value = "'prev'"
+    }
 }
 
 Rule Declare_Init_N17 {
@@ -1930,6 +1968,7 @@ Rule While_True_N35 {
     Create N35_10 {
         value = "'init'"
     }
+    Match N35_11 {}
 
     MatchEdge (N35_0, N35_1) {
         value = "username"
@@ -1967,4 +2006,10 @@ Rule While_True_N35 {
     MatchEdge (N35_5, N35_9) {
         value = "'body'"
     }
+    DeleteEdge (N35_8, N35_11) {
+        value = "taskname"
+    }
+    CreateEdge (N35_8, N35_5) {
+        value = "taskname"
+    }
 }