path: root/progs/tests/auto/stack_ordering.sy

start :: fn {
a := 1
                         b := 2
                         b <=> 2
                         a <=> 1
}