counter-gr.dot

digraph fgl {
        margin = "0"
        size = "2.0,3.25"
        rotate = "0"
        ratio = "fill"
	1 [label = "df_out1:()"]
	2 [label = "recWr"]
	3 [label = "recRd:0.0"]
	4 [label = "recWr"]
	5 [label = "df_add:Float"]
	6 [label = "1.0"]
	7 [label = "recRd:0.0"]
	2 -> 3 [label = "(0,implicit)"]
	3 -> 1 [label = "(0,recRd)"]
	4 -> 7 [label = "(0,implicit)"]
	5 -> 4 [label = "(0,recWr)"]
	5 -> 2 [label = "(0,recWr)"]
	6 -> 5 [label = "(0,normal)"]
	7 -> 5 [label = "(1,recRd)"]
}