[Sorry for the missing line in my last message.] I'm watching it deal with
# small_1 = PHI <32(0), 1(1)>
vrp_meet is called with [32, 32] and [1,1].
It determines that the ranges don't intersect and then comes up with
~[0,0] since neither contain zero. But wouldn't [1,32] be a better
result?
