diGraph G { v2 [label="g 2 = 1 with stack [\"f\"]"] v1 [label="{f 2 = 1, f 0 = 0, } with stack []"] v0 [label=root] v1 -> v2 [label=""] v0 -> v1 [label=""] }