digraph { Root [shape="point"] UserRoot [shape="point"] Frame [shape="point"] n [shape="point"] OldReturnValue [shape="point"] OldPhase [label="'init'",color="blue"] NewPhase [label="'finish'",color="green"] OldIP [label="Const"] 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 -> OldIP [label="'IP'"] OldIP -> n [label="'node'"] Frame -> n [label="'returnvalue'",color="green",penwidth=4] Frame -> OldReturnValue [label="'returnvalue'",color="blue",style="dashed"] }