hoed-tests-Stk-Example1.graph

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=""]
}