Usually after generating the cobertura files the user needs the original source to generate correct reports with e.g. ReportGenerator.
Thus, I think it would be more convenient if after an instrumented run the procedure files are automatically restored with IUTF_RestoreTracing. We can still consider an option to not do that for debugging purposes.