After 3a223f1eaf, it's no longer necessary to put the users into a vector. We can directly iterate them instead.
3a223f1eaf
(shift X,Or(Y,BitWidth-1))
(shift X,BitWidth-1)