modelverse/bootstrap/current_MvK.mvc

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 = "="
    }
}