The evaluator now counts the number of beta-reductions for reaching the normal form.