digraph g { rankdir=LR node [shape=plaintext] subgraph cluster_01 { label = "Legend"; key [label=<
Control dependency
Data dependency
Call, param-in, param-out
Summary
>] key2 [label=<
 
 
 
 
>] key:i1:e -> key2:i1:w [style=bold] key:i2:e -> key2:i2:w [color=red] key:i3:e -> key2:i3:w [style=dashed] key:i4:e -> key2:i4:w [color=blue] } }