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