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

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