inserted Faults.validateTrace(trace)