digraph {
    node [shape="point"]
    Inst [shape="oval",label="Assign"]
    OldPhase [shape="oval",label="'assign'",color="blue"]
    NewPhase [shape="oval",label="'finish'",color="green"]

    Root -> UserRoot [label="username"]
    UserRoot -> Frame [label="'frame'"]
    Frame -> Inst [label="'IP'"]
    Frame -> ReturnValue [label="'returnvalue'"]
    Frame -> Var [label="'variable'",color="blue",style="dashed"]
    Var -> ReturnValue [label="'value'",color="green",penwidth=4]
    Var -> OldValue [label="'value'",color="blue",style="dashed"]
    Frame -> OldPhase [label="'phase'",color="blue",style="dashed"]
    Frame -> NewPhase [label="'phase'",color="green",penwidth=4]
}
