diGraph G { v3 [label="h 4 = 5 with stack [\"f\"]"] v2 [label="f 1 = 5 with stack []"] v1 [label=root] v0 [label="{g 2 = 5, f 3 = 5} with stack [\"f\"]"] v0 -> v3 [label=""] v2 -> v0 [label=""] v2 -> v3 [label=""] v1 -> v2 [label=""] }