modelverse/doc/al_rules/rule_if__false-nothing.dot

digraph {
    node [shape="point"]
    Phase [label="'cond'",shape="oval",color="blue"]
    NewPhase [label="'finish'",shape="oval",color="green"]
    Inst [label="If",shape="oval"]
    ReturnValue [label="False",shape="oval"]
    Block [color="red"]

    Root -> UserRoot [label="username"]
    UserRoot -> Frame [label="'frame'"]
    Frame -> Phase [label="'phase'",color="blue",style="dashed"]
    Frame -> NewPhase [label="'phase'",color="green",penwidth=4]
    Frame -> Inst [label="'IP'"]
    Inst -> Block [label="'else'",color="red",style="dotted"]
    Frame -> ReturnValue [label="'returnvalue'"]
}