counter.dot

digraph Anonymous {
margin = "0"
size = "1.25,1.25"
rotate = "0"
ratio = "fill"
graph [splines=false];
1 [shape="record",color="grey",label="{{df_out1|<i_0>}}"];
5 [shape="record",color="blue",label="{{df_add|<i_0>|<i_1>|<o_0>}}"];
6 [shape="record",color="blue",label="{{1.0|<o_0>}}"];
5:o_0 -> 1:i_0 [color="red",label=""]
6:o_0 -> 5:i_0 [color="black",label=""]
5:o_0 -> 5:i_1 [color="red",label=""]
}