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 result?