Easier-to-read code
If var_inc is too high, then also renumber var activities
Better calculation of var-elim complexity
Adding simple var elim ordering strategies
Remove more learnt clauses by default
Less eliminated variables per elimination run