SMT trace to correct file in single process mode