Test for variable sized set downcasts.
Improve performance of rewriting IR.