def METHOD_NAME():
    sdfg: dace.SDFG = fsymtest_multistate.to_sdfg()
    sdfg.simplify()
    sdfg.add_constant('K', 5)
    sdfg.add_constant('L', 20)
    for state in sdfg.nodes():
        assert (state.free_symbols == {'k', 'N', 'M'} or state.free_symbols == set())
    assert sdfg.free_symbols == {'M', 'N'}