DVO

Dynamic variable ordering