path: root/progs/tests/simple.sy

a := 0
{
    b := 99999
    {
        a := 99999
        a
    }
    b
    a -= 1
}
a <=> -1