[tir][Compute-at] Make compute-ated block simple when the predicate could be merged

[wrongtest-intellif]

Add a simple optimization to block form after compute-at when the result loop domain and extra loop predicate could be merged.
eg,

for i in range(87):
    T.where(i < 85): ...

Could be generated as

for i in range(85): ...