Added trace output of every reduction of a form