The total-number-of-traces, average-trace-length and trace-duplicity metrics are now also run when benchmarks are run
Wrapped all expressions inside a 'begin