1. [x] IntSet symbolic behavior. 2. [x] Decompose reduction, why fails (Use RGCN example). 3. [x] Outer product fails: https://github.com/apache/tvm/pull/10638 4. [x] Binary search, how to pertain read/write regions.