def METHOD_NAME():
    @proc
    def bar(N: size):
        for i in seq(0, 6):
            for j in seq(0, (i - 2) / 2 + 10):
                pass
    e = bar.find("for j in _:_").hi()._impl._node
    i_sym = bar.find("for i in _:_")._impl._node.iter
    e_range = IndexRangeAnalysis(e, {i_sym: (0, 5)}).result()
    assert e_range == None