Cleanup

bootstrap/current_MvK.mvc

@@ -1,95 +0,0 @@
-Rule if_init {
-    Root if_init_1 {
-        type = "="
-    }
-
-    Node if_init_2 {
-        type = "="
-    }
-
-    Node if_init_3 {
-        type = "="
-    }
-
-    Node if_init_4 {
-        type = "="
-        value = "init"
-    }
-
-    Node if_init_5 {
-        type = "="
-        value = !If
-    }
-
-    Node if_init_6 {
-        type = "+"
-    }
-
-    Node if_init_7 {
-        type = "="
-    }
-
-    Node if_init_8 {
-        type = "+"
-        value = "cond"
-    }
-
-    Node if_init_9 {
-        type = "="
-    }
-
-    Edge (if_init_1, if_init_2) {
-        name = "username"
-        type = "="
-    }
-
-    Edge (if_init_2, if_init_3) {
-        name = "'frame'"
-        type = "="
-    }
-
-    Edge (if_init_3, if_init_4) {
-        name = "'phase'"
-        type = "="
-    }
-
-    Edge (if_init_3, if_init_5) {
-        name = "'IP'"
-        type = "-"
-    }
-
-    Edge (if_init_3, if_init_6) {
-        name = "'evalstack'"
-        type = "+"
-    }
-
-    Edge (if_init_3, if_init_7) {
-        name = "'prev'"
-        type = "+"
-    }
-
-    Edge (if_init_3, if_init_9) {
-        name = "'IP'"
-        type = "+"
-    }
-
-    Edge (if_init_6, if_init_7) {
-        name = "'evalstack'"
-        type = "-"
-    }
-
-    Edge (if_init_7, if_init_5) {
-        name = "'inst'"
-        type = "+"
-    }
-
-    Edge (if_init_7, if_init_8) {
-        name = "'phase'"
-        type = "+"
-    }
-
-    Edge (if_init_5, if_init_9) {
-        name = "'cond'"
-        type = "="
-    }
-}