modelverse/doc/al_rules/rule_next__no-next.dot

digraph {
    node [shape="point"]
    Phase [color="blue",label="'finish'",shape="oval"]
    NoInst [color="red"]
    NewEvalStack [color="blue"]

    Root -> UserRoot [label="username"]
    UserRoot -> Frame [label="'frame'"]
    Frame -> Inst [label="'IP'",color="blue",style="dashed"]
    Inst -> NoInst [label="'next'",color="red",style="dotted"]
    Frame -> NextInst [label="'IP'",color="green",penwidth=4]
    Frame -> Phase [label="'phase'",color="blue",style="dashed"]
    Frame -> NextPhase [label="'phase'",color="green",penwidth=4]
    Frame -> OldEvalStack [label="'evalstack'",color="green",penwidth=4]
    Frame -> NewEvalStack [label="'evalstack'",color="blue",style="dashed"]
    NewEvalStack -> OldEvalStack [label="'prev'",color="blue",style="dashed"]
    OldEvalStack -> NextInst [label="'inst'",color="blue",style="dashed"]
    OldEvalStack -> NextPhase [label="'phase'",color="blue",style="dashed"]
}