modelverse/doc/al_rules/rule_continue.dot

digraph {
    Root [shape="point"]
    UserRoot [shape="point"]
    Frame [shape="point"]

    OldPhase [label="'init'"]
    OldIP [label="Break"]
    NewIP [label="While"]

    Root -> UserRoot [label="username"]
    UserRoot -> Frame [label="'frame'"]
    Frame -> OldPhase [label="'phase'"]
    Frame -> OldIP [label="'IP'",color="blue",style="dashed"]
    Frame -> NewIP [label="'IP'",color="green",penwidth=4]
    OldIP -> NewIP [label="'while'"]
}