use "core"

%x <- "outer"
with local %x
    %x <- "inner"
    assume: %x = "inner"
assume: %x = "outer"

action [foo] "outer foo"
with local (foo)
    action [foo] "inner foo"
    assume: (foo) = "inner foo"
assume: (foo) = "outer foo"


say "Scopes test passed."