Split rvar bounds

Fixes bug #464