def METHOD_NAME():
    @dace.program
    def symbolic_return():
        a = 6
        for i in range(10):
            a = 5
        a -= 1
        return i, a
    sdfg = symbolic_return.to_sdfg()
    cft = cf.structured_control_flow_tree(sdfg, None)
    for_scope = None
    for i, child in enumerate(cft.children):
        if isinstance(child, (cf.ForScope, cf.WhileScope)):
            for_scope = child
            break
    assert for_scope
    assert i < len(cft.children) - 1
    exit_scope = cft.children[i+1]
    assert isinstance(exit_scope, cf.SingleState)
    guard = for_scope.guard
    fexit = exit_scope.first_state
    states = list(utils.dfs_conditional(sdfg, [guard], lambda p, _: p is not fexit))
    nest_sdfg_subgraph(sdfg, SubgraphView(sdfg, states), start=guard)
    result = sdfg()
    val = result[1][0]
    _, ref = symbolic_return.f()
    assert val == ref