Do a bit more var-elim over time
Pick the dominator more often

Instead of 1/6, pick 1/3, i.e. twice as often