digraph {
    Root [shape="point"]
    UserRoot [shape="point"]
    Frame [shape="point"]

    OldPhase [label="'init'",color="blue"]
    NewPhase [label="'finish'",color="green"]
    IP [label="Declare"]

    Root -> UserRoot [label="username"]
    UserRoot -> Frame [label="'frame'"]
    Frame -> OldPhase [label="'phase'",color="blue",style="dashed"]
    Frame -> NewPhase [label="'phase'",color="green",penwidth=4]
    Frame -> IP [label="'IP'"]
    IP -> Formal [label="'var'"]

    Symbols [shape="point"]
    Empty [shape="point",color="green"]
    Formal [shape="point"]
    Frame -> Symbols [label="'symbols'"]
    Symbols -> mid [arrowhead="none", color="green",penwidth=4]
    mid [shape="point",color="green"]
    mid -> Empty [color="green",penwidth=4]
    mid -> Formal [color="green",penwidth=4]
}
