introduced TransformationDiagnostics