diGraph G { v3 [label="f 2 = 1"] v2 [label="f 0 = 0"] v1 [label="g 2 = 1"] v0 [label="."shape=none] v3 -> v1 [label=""] v0 -> v2 [label=""] v0 -> v3 [label=""] }