Make the update-var-complexity an option
Better counting of time in clause vivifier