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

    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"]
    Frame -> ReturnValue [label="'returnvalue'",color="blue",style="dashed"]
    PrevFrame -> ReturnValue [label="'returnvalue'",color="green",penwidth=4]
    UserRoot -> PrevFrame [label="'frame'",color="green",penwidth=4]
    PrevFrame -> OldReturnValue [label="'returnvalue'",color="blue",style="dashed"]
}
