Fixed problem with bounds inference for split RVars.

This code is very surprising, please take a close look at it. @zvookin, @abadams, this fixes the bounds inference issue we were looking at for split rvars.