digraph { Root [shape="point"] UserRoot [shape="point"] Frame [shape="point"] OldPhase [label="'init'"] OldIP [label="Break"] NewIP [label="While"] Root -> UserRoot [label="username"] UserRoot -> Frame [label="'frame'"] Frame -> OldPhase [label="'phase'"] Frame -> OldIP [label="'IP'",color="blue",style="dashed"] Frame -> NewIP [label="'IP'",color="green",penwidth=4] OldIP -> NewIP [label="'while'"] }