hoed-tests-Stk-Insort2.graph

diGraph G {
v4 [label="{isort (2 : []) = 2 : [], isort [] = []}
with stack [\"isort\",\"result\"]"]
v3 [label="{insert 1 (2 : []) = 1 : [], insert 2 [] = 2 : []}
with stack [\"isort\",\"result\"]"]
v2 [label="isort (1 : 2 : []) = 1 : []
with stack [\"result\"]"]
v1 [label="result = 1 : []
with stack []"]
v0 [label=root]
v1 -> v4 [label=""]
v1 -> v3 [label=""]
v4 -> v3 [label=""]
v2 -> v3 [label=""]
v2 -> v4 [label=""]
v1 -> v2 [label=""]
v0 -> v1 [label=""]
}