def METHOD_NAME(golden):
    # Also, a 4-point stencil being
    # used in e.g. a Gauss-Seidel scheme can be reordered
    @proc
    def foo(N: size, x: R[N, N]):
        for i in seq(0, N):
            for j in seq(0, N):
                if 0 < i < N - 1 and 0 < j < N - 1:
                    x[i, j] += (
                        -1.0
                        / 4.0
                        * (x[i - 1, j] + x[i + 1, j] + x[i, j - 1] + x[i, j + 1])
                    )
    foo = reorder_loops(foo, "i j")
    assert str(foo) == golden