modelverse/doc/al_rules/rule_next__next.dot

digraph {
    node [shape="point"]
    Phase [label="'finish'",color="blue",shape="oval"]
    NewPhase [label="'init'",color="green",shape="oval"]

    Root -> UserRoot [label="username"]
    UserRoot -> Frame [label="'frame'"]
    Frame -> Inst [label="'IP'",color="blue",style="dashed"]
    Inst -> NextInst [label="'next'"]
    Frame -> NextInst [label="'IP'",color="green",penwidth=4]
    Frame -> Phase [label="'phase'",color="blue",style="dashed"]
    Frame -> NewPhase [label="'phase'",color="green",penwidth=4]
}