digraph {
    node [shape="point"]
    Inst [shape="oval",label="Resolve"]
    Phase [shape="oval",label="'init'",color="blue"]
    NewPhase [shape="oval",label="'finish'",color="green"]
    mid [width=0]
    mid2 [width=0]
    NonExisting [color="red"]

    Root -> UserRoot [label="username"]
    Root -> Global [label="'__global'"]
    UserRoot -> Frame [label="'frame'"]
    Frame -> Inst [label="'IP'"]
    Frame -> NewReturnValue [label="'returnvalue'",color="green",penwidth=4]
    Frame -> Phase [label="'phase'",color="blue",style="dashed"]
    Frame -> NewPhase [label="'phase'",color="green",penwidth=4]
    Symbols -> mid [arrowhead="none",color="red",style="dotted"]
    mid -> NonExisting [color="red",style="dotted"]
    mid -> Var [color="red",style="dotted",constraint="none"]
    Frame -> ReturnValue [label="'returnvalue'",color="blue",style="dashed"]
    Frame -> Symbols [label="'symbols'"]
    Inst -> Var [label="'var'"]

    Global -> mid2 [arrowhead="none"]
    mid2 -> NewReturnValue
    mid2 -> Var [constraint="none"]
}