Only print [v-elim] stats in case var-elimination is turned on