Tightening DataTypes ErrorInformationDataType ProcessingTimesDataType ResultDataType ResultEvaluation ResultValueDataType StepResultDataType StepTraceDataType TagDataType TighteningResultDataType TighteningTraceDataType TraceContentDataType TraceDataType