Proper printing&line-breaks
Cleaner line-breaking
Fixing toDecrease for varElim
Strategy update was wrong (!) when using expensive strategy
Only go into reverse of subsume when there is time
Separate % for var-elim time in long log