def METHOD_NAME():
    sdfg = make_sdfg()
    propagation.propagate_memlets_sdfg(sdfg)
    main_state = sdfg.nodes()[0]
    data_in_memlet = main_state.edges()[0].data
    bound_stream_in_memlet = main_state.edges()[1].data
    out_stream_memlet = main_state.edges()[2].data
    memlet_check_parameters(data_in_memlet, 0, True, [(0, N - 1, 1)])
    memlet_check_parameters(bound_stream_in_memlet, 1, False, [(0, 0, 1)])
    memlet_check_parameters(out_stream_memlet, 0, True, [(0, 0, 1)])
    nested_sdfg = main_state.nodes()[3].sdfg
    loop_state = nested_sdfg.nodes()[2]
    state_check_executions(loop_state, symbol('loop_bound'))