digraph {
    node [shape="point"]
    Frame [color="blue"]
    Phase [label="'init'",shape="oval",color="blue"]
    Inst [label="Return",shape="oval"]
    Value [color="red"]

    Root -> UserRoot [label="username"]
    UserRoot -> Frame [label="'frame'",color="blue",style="dashed"]
    Frame -> Inst [label="'IP'",color="blue",style="dashed"]
    Frame -> Phase [label="'phase'",color="blue",style="dashed"]
    Frame -> PrevFrame [label="'prev'",color="blue",style="dashed"]
    UserRoot -> PrevFrame [label="'frame'",color="green",penwidth=4]
    Inst -> Value [label="'value'",color="red",style="dotted"]
}
