Index: /reasoner/reasoner.tex
===================================================================
--- /reasoner/reasoner.tex	(revision 88)
+++ /reasoner/reasoner.tex	(revision 89)
@@ -947,5 +947,5 @@
 
 Derived type & 2.1.3.4 & \tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationDerivedDatatype}\tabAlgFollow\tabAlg{algTranslateDerivedDatatypeConstraints}
-& \TBD{tests} \\
+& IT1, IT2 \\
 
 Constraint type & 3.10.1 & \TBD{no specific constraints, cf. Section \ref{sectNotationOthers}, constraint value in \ref{algTranslateDeclaration} line \ref{algTranslateDeclarationConstraintVariableConstraint}} & \TBD{tests} \\
@@ -986,5 +986,5 @@
 \tabAlg{algTranslateDeclaration} & ECo1, ECo2\\
 
-Derived type & 2.1.3.4 &  \tabAlgLine{algTranslateCompoundContent}{algTranslateCompoundDeclarationTranslateSlotsV} or \tabAlgLine{algTranslateCompoundContent}{algTranslateCompoundDeclarationTranslateSlotsT}\tabAlgFollow\tabAlg{algTranslateDeclaration} & \TBD{tests} \\
+Derived type & 2.1.3.4 &  \tabAlgLine{algTranslateCompoundContent}{algTranslateCompoundDeclarationTranslateSlotsV} or \tabAlgLine{algTranslateCompoundContent}{algTranslateCompoundDeclarationTranslateSlotsT}\tabAlgFollow\tabAlg{algTranslateDeclaration} & CnTCt1, CnTCt2 \\
 
 Compound type & 2.1.3.5 & \TBD{Alg. \ref{algTranslateDeclaration} line \ref{algTranslateDeclarationTranslateCompound} $\rightarrow$ Alg.\ref{algTranslateCompoundDeclaration}} & \TBD{tests} \\
@@ -1011,5 +1011,5 @@
 \pagebreak
 
-\TBD{No annotation, assignment blocks and partial evaluation possible from IVML syntax. However, accessor-based access possible handled by variable declaration and \tabAlgLine{algTranslateDeclaration}.} 
+\TBD{No annotation, assignment blocks and partial evaluation possible from IVML syntax. However, accessor-based access possible handled by variable declaration and \tabAlg{algTranslateDeclaration}.} 
 
 \begin{table*}[h]
@@ -1032,11 +1032,11 @@
 Enum type & 2.1.3.2 & no action in \tabAlg{algTranslateContainerDeclaration}, cf. Sect. \ref{sectNotationOthers} & ECt1, ECt2 \\
 
-Derived type & 2.1.3.4 & \tabAlgLine{algTranslateContainerDeclaration}{algTranslateContainerDeclarationDerivedTypes}\tabAlgFollow\tabAlg{algTranslateDeclaration} & \TBD{tests} \\
+Derived type & 2.1.3.4 & \tabAlgLine{algTranslateContainerDeclaration}{algTranslateContainerDeclarationDerivedTypes}\tabAlgFollow\tabAlg{algTranslateDeclaration} & ITCt1, ITCt2 \\
 
 Compound type & 2.1.3.5 & \TBD{??} & \TBD{tests} \\
 
+Derived Compound Type & \TBD{??}  & \TBD{??}  & ITCnCt1, ITCnCt2 \\
+
 Container type & 2.1.3.3 & \TBD{??}  & \TBD{tests} \\
-
-Derived Compound Type & \TBD{??}  & \TBD{??}  & \TBD{tests} \\
 
 Derived Container Type & \TBD{??}  & \TBD{??}  & \TBD{tests} \\
@@ -1164,5 +1164,5 @@
 In this section, we list a subset of the implemented reasoner test cases, which aim at validating translation and reasoning for specific IVML concepts and combinations. In addition, the reasoner test cases defined as part of the test suite for the \class{ReasonerCore} bundle of EASy-Producer contain also more complex test cases taken from real scenarios, evaluation models as well as challenge test cases.
 
-For referencing the test cases, we use identifiers composed for the main concepts to be validated. We use the abbreviations shown in Table \ref{tab:testCaseIdSchema} to compose identifiers. For example, test case nuber one on Integer (I) variables used as compound (Co) slots is identified by 'ICo1'. Table \ref{tab:reasonerTestCasesBasics} and Table \ref{tab:reasonerTestCasesAdvanced} list the test cases referenced in this document.
+For referencing the test cases, we use identifiers composed for the main concepts to be validated. We use the abbreviations shown in Table \ref{tab:testCaseIdSchema} to compose identifiers. For example, test case nuber one on Integer (I) variables used as compound (Co) slots is identified by 'ICo1'. Table \ref{tab:reasonerTestCasesBasics} and Table \ref{tab:reasonerTestCasesAdvanced} list the test cases referenced in this document. Test case names ending with 'Valid' indicate that there is an associate test case testing also the failing of the constraint under test.
 
 \begin{table*}[h]
@@ -1184,4 +1184,5 @@
 S & String\\
 E & Enum\protect\footnotemark\\
+T & Typedef\\
 \hline
 \end{tabular}
@@ -1211,4 +1212,6 @@
 I1 & \class{integer/IntegerDefaultsTest.ivml}\\
 I2 & \class{integer/IntegerAssignTest.ivml}\\
+IT1 & \class{operations/typedef.ivml}\\
+IT2 & \class{operations/typedefOfTypedefValid.ivml}\\
 ICo1 & \class{integer/IntegerInCompoundDefaultsTest.ivml}\\
 ICo2 & \class{integer/IntegerInCompoundAssignTest.ivml}\\
@@ -1249,4 +1252,11 @@
 CnCt1 & \class{collectionConstraints/constraintSetDefault.ivml}\\
 CnCt2 & \class{collectionConstraints/constraintSetSetDefault.ivml}\\
+CnTCt1 & \class{collectionConstraints/constraintSetDerivedCompound.ivml}\\
+CnTCt1 & \class{collectionConstraints/constraintSetSetDerivedCompound.ivml}\\
+ITCn1 & \class{operations/typedefNestedInCompoundValid.ivml}\\
+ITCnCt1 & \class{operations/typedefCompoundNestedInSequenceValid1.ivml}\\
+ITCnCt2 & \class{operations/typedefCompoundNestedInSequenceValid2.ivml}\\
+ITCt1 & \class{operations/typedefNestedInSequenceValid.ivml}\\
+ITCt2 & \class{operations/typedefNestedInSetValid.ivml}\\
 CnA1 & \class{attributes/BlockAssign.ivml}\\
 CnA2 & \class{attributes/BlockAssignNested.ivml}\\