Added first 25 rules

bootstrap/MvK_rules.mvc

@@ -1338,3 +1338,154 @@ Rule If_False_None_N21 {
         value = "'else'"
     }
 }
+
+Rule If_True_N22 {
+    Root N22_0 {}
+    Match N22_1 {}
+    Match N22_2 {}
+    Delete N22_3 {
+        value = "'cond'"
+    }
+    Create N22_4 {}
+    Create N22_5 {
+        value = "'init'"
+    }
+    Match N22_6 {
+        value = "True"
+    }
+    Match N22_7 {}
+    Match N22_8 {}
+    Match N22_9 {
+        value = "!if"
+    }
+    Create N22_10 {
+        value = "'finish'"
+    }
+
+    MatchEdge (N22_0, N22_1) {
+        value = "username"
+    }
+    MatchEdge (N22_1, N22_2) {
+        value = "'frame'"
+    }
+    DeleteEdge (N22_2, N22_3) {
+        value = "'phase'"
+    }
+    DeleteEdge (N22_2, N22_9) {
+        value = "'IP'"
+    }
+    CreateEdge (N22_2, N22_4) {
+        value = "'evalstack'"
+    }
+    CreateEdge (N22_2, N22_5) {
+        value = "'phase'"
+    }
+    MatchEdge (N22_2, N22_6) {
+        value = "True"
+    }
+    DeleteEdge (N22_2, N22_7) {
+        value = "'evalstack'"
+    }
+    CreateEdge (N22_2, N22_8) {
+        value = "'IP'"
+    }
+    CreateEdge (N22_7, N22_9) {
+        value = "'inst'"
+    }
+    CreateEdge (N22_7, N22_10) {
+        value = "'phase'"
+    }
+    MatchEdge (N22_9, N22_8) {
+        value = "'then'"
+    }
+}
+
+Rule Next_Next_N24 {
+    Root N24_0 {}
+    Match N24_1 {}
+    Match N24_2 {}
+    Delete N24_3 {
+        value = "'finish'"
+    }
+    Create N24_4 {
+        value = "'init'"
+    }
+    Match N24_5 {}
+    Match N24_6 {}
+
+    MatchEdge (N24_0, N24_1) {
+        value = "username"
+    }
+    MatchEdge (N24_1, N24_2) {
+        value = "'frame'"
+    }
+    DeleteEdge (N24_2, N24_3) {
+        value = "'phase'"
+    }
+    CreateEdge (N24_2, N24_4) {
+        value = "'phase'"
+    }
+    DeleteEdge (N24_2, N24_5) {
+        value = "'IP'"
+    }
+    CreateEdge (N24_2, N24_6) {
+        value = "'IP'"
+    }
+    MatchEdge (N24_5, N24_6) {
+        value = "'next'"
+    }
+}
+
+Rule Next_NoNext_N25 {
+    Root N25_0 {}
+    Match N25_1 {}
+    Match N25_2 {}
+    Delete N25_3 {
+        value = "'finish'"
+    }
+    Match N25_4 {
+        value = "'IP'"
+    }
+    Match N25_5 {}
+    Delete N25_6 {}
+    Match N25_7 {}
+    Match N25_8 {}
+    NAC N25_9 {}
+
+    MatchEdge (N25_0, N25_1) {
+        value = "username"
+    }
+    MatchEdge (N25_1, N25_2) {
+        value = "'frame'"
+    }
+    DeleteEdge (N25_2, N25_3) {
+        value = "'phase'"
+    }
+    DeleteEdge (N25_2, N25_4) {
+        value = "'IP'"
+    }
+    CreateEdge (N25_2, N25_5) {
+        value = "'IP'"
+    }
+    DeleteEdge (N25_2, N25_6) {
+        value = "'evalstack'"
+    }
+    CreateEdge (N25_2, N25_7) {
+        value = "'evalstack'"
+    }
+    CreateEdge (N25_2, N25_8) {
+        value = "'phase'"
+    }
+    DeleteEdge (N25_6, N25_7) {
+        value = "'prev'"
+    }
+    DeleteEdge (N25_7, N25_5) {
+        value = "'inst'"
+    }
+    DeleteEdge (N25_7, N25_8) {
+        value = "'phase'"
+    }
+    NACEdge (N25_4, N25_9) {
+        value = "'next'"
+    }
+}