better printing of trace in Multiex