def METHOD_NAME():
    i, j, k = (dace.symbol(s) for s in 'ijk')
    outer_sdfg = dace.SDFG('outer')
    outer_init_state = outer_sdfg.add_state('outer_init')
    outer_guard_state = outer_sdfg.add_state('outer_guard')
    outer_body_state_1 = outer_sdfg.add_state('outer_body_1')
    outer_body_state_2 = outer_sdfg.add_state('outer_body_2')
    outer_exit_state = outer_sdfg.add_state('outer_exit')
    outer_sdfg.add_edge(outer_init_state, outer_guard_state, dace.InterstateEdge(assignments={'i': '0'}))
    outer_sdfg.add_edge(outer_guard_state, outer_body_state_1,
                        dace.InterstateEdge(condition='i < 10', assignments={'j': 'i + 1'}))
    outer_sdfg.add_edge(outer_guard_state, outer_exit_state, dace.InterstateEdge(condition='i >= 10'))
    outer_sdfg.add_edge(outer_body_state_1, outer_guard_state,
                        dace.InterstateEdge(condition='j >= 10', assignments={'i': 'i + 1'}))
    outer_sdfg.add_edge(outer_body_state_1, outer_body_state_2, dace.InterstateEdge(condition='j < 10'))
    outer_sdfg.add_edge(outer_body_state_2, outer_body_state_1, dace.InterstateEdge(assignments={'j': 'j + 1'}))
    inner_sdfg = dace.SDFG('inner')
    inner_init_state = inner_sdfg.add_state('inner_init')
    inner_guard_state = inner_sdfg.add_state('inner_guard')
    inner_body_state = inner_sdfg.add_state('inner_body')
    inner_exit_state = inner_sdfg.add_state('inner_exit')
    inner_sdfg.add_edge(inner_init_state, inner_guard_state, dace.InterstateEdge(assignments={'k': 'j + 1'}))
    inner_sdfg.add_edge(inner_guard_state, inner_body_state, dace.InterstateEdge(condition='k < 10'))
    inner_sdfg.add_edge(inner_guard_state, inner_exit_state,
                        dace.InterstateEdge(condition='k >= 10', assignments={'j': 'j + 1'}))
    inner_sdfg.add_edge(inner_body_state, inner_guard_state, dace.InterstateEdge(assignments={'k': 'k + 1'}))
    outer_body_state_2.add_nested_sdfg(inner_sdfg, None, {}, {}, symbol_mapping={'j': 'j'})
    assert not outer_sdfg.free_symbols
    assert 'i' not in inner_sdfg.free_symbols
    assert 'j' in inner_sdfg.free_symbols
    assert 'k' not in inner_sdfg.free_symbols