A failed example of using compute_at based on TVMScript

Questions
5

The analyzer doesn’t seem to be able to prove the following equality:

min(1, OH - i) = 1

because the range of OH is not known