Improve trace to display non computed arguments of formulas.