def METHOD_NAME():
    s_update = te.compute(
        (l, m, n), lambda t, i, j: x[t, j, i] + s_state[t - 1, i, j], name="update"
    )
    s_scan = tvm.te.scan(s_init, s_update, s_state)
    body = tvm.te.schedule.ScanGetBody(s_scan.op)
    fxpt = tvm.te.schedule.ScanFixPointAnalysis(s_scan.op)
    assert fxpt[s_scan.op.spatial_axis_[0]].value == 1
    assert fxpt[s_scan.op.spatial_axis_[1]].value == 1