Index: /reasoner/reasoner.tex
===================================================================
--- /reasoner/reasoner.tex	(revision 96)
+++ /reasoner/reasoner.tex	(revision 97)
@@ -964,5 +964,5 @@
 Assignment block & 2.2.2 & \tabAlgLine{algTranslateConstraints}{algTranslateConstraintsTopLevelAnnotationAssignments}\tabAlgFollow\tabAlg{algTranslateAnnotationAssignments} & CnAI1 \\
 
-Partial evaluation & 2.2.5.3 & \tabAlgLine{algTranslateConstraints}{algTranslateConstraintsTopLevelEvals} & Ev1, Ev2 \MISSING{prio?}\\
+Partial evaluation & 2.2.5.3 & \tabAlgLine{algTranslateConstraints}{algTranslateConstraintsTopLevelEvals} & Ev1\\
 
 \hline
@@ -1035,5 +1035,5 @@
 Assignment blocks & 2.2.2 & \tabAlgLine{algTranslateCompoundContent}{algTranslateCompoundDeclarationCompoundAssignments}\tabAlgFollow\tabAlg{algTranslateAnnotationAssignments} & CnAI2, CnAI3 \\
 
-Partial evaluation & 2.2.5.3 & \tabAlgLines{algTranslateCompoundContent}{algTranslateCompoundDeclarationEvalStart}{algTranslateCompoundDeclarationEvalEnd} & \TBD{missing tests} \\
+Partial evaluation & 2.2.5.3 & \tabAlgLines{algTranslateCompoundContent}{algTranslateCompoundDeclarationEvalStart}{algTranslateCompoundDeclarationEvalEnd} & CnEv1 \\
 
 \hline
@@ -1098,5 +1098,5 @@
 \pagebreak
 
-\TBD{Recursive annotations are not supported by IVML, add section number below.} 
+\TBD{Recursive annotations are not supported by IVML, add section number below. A*1 means all annotation-related tests, which focus on one specifc type used in the annotation, e.g., ACn1 for a compound used in an annotation, but always applied to all relvant types.} 
 
 \begin{table*}[h]
@@ -1120,13 +1120,13 @@
 Enum type & 2.1.3.2 & \tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationTranslateAnnotationAccess}\tabAlgFollow\tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationTranslateDefault} &  AE1 & A*1\\
 
-Derived type & 2.1.3.4 & \tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationDerivedDatatype}\tabAlgFollow\tabAlg{algTranslateDerivedDatatypeConstraints} & \TBD{tests} & \TBD{tests} \\
+Derived type & 2.1.3.4 & \tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationDerivedDatatype}\tabAlgFollow\tabAlg{algTranslateDerivedDatatypeConstraints} & ATCn1 & A*1 \\
 
 Compound type & 2.1.3.5 & \tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationTranslateCompound}\tabAlgFollow\tabAlg{algTranslateCompoundDeclaration}\tabAlgFollow\tabAlgLine{algRegisterCompoundMapping}{algRegisterCompoundMappingAnnotationMapping}\tabAlgFollow\tabAlgLines{algTranslateCompoundContent}{algTranslateCompoundDeclarationTranslateSlotsStart}{algTranslateCompoundDeclarationTranslateSlotsEnd}\tabAlgFollow\tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationTranslateAnnotationAccess} & ACn1 & CnAI1, A*1 \\
 
-Container type & 2.1.3.3 & \tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationTranslateContainer}\tabAlgFollow\tabAlg{algTranslateContainerDeclaration}\MISSING{processed where?} & \TBD{tests} & \TBD{tests} \\
-
-Reference type & 2.2.3.2 & no specific constraints, cf. Section \ref{sectNotationOthers} & \TBD{tests} & \TBD{tests} \\
-
-Constraint type & 3.10.1  & no specific constraints, cf. Section \ref{sectNotationOthers}& \TBD{tests} & \TBD{tests} \\
+Container type & 2.1.3.3 & \tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationTranslateAnnotationAccess}\tabAlgFollow\tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationTranslateDefault} & ACt1 & A*1 \\
+
+Reference type & 2.2.3.2 & no specific constraints, cf. Section \ref{sectNotationOthers} & AFCn1 & A*1 \\
+
+Constraint type & 3.10.1  & no specific constraints, cf. Section \ref{sectNotationOthers}& ACs1 & A*1 \\
 
 Annotation & - & - & - & -\\
@@ -1142,4 +1142,6 @@
 \label{tab:completenessAnnotations}
 \end{table*}
+
+\TBD{annotation on typedef-ref, ref-typedef, variable on typedef-ref, ref-typedef}
 
 \pagebreak
@@ -1300,5 +1302,8 @@
 CnCt3 & \class{compounds/CompoundContainerTest1.ivml}\\
 CnCt4 & \class{compounds/CompoundContainerTest2.ivml}\protect\footnotemark\\
+ACt1 & \class{collectionConstraints/ContainerAnnotationTest.ivml}\\
 ACn1 & \class{compounds/CompoundAnnotationTest.ivml}\\
+AFCn1 & \class{compounds/ReferenceCompoundAnnotationTest.ivml}\\
+ATCn1 & \class{compounds/DerivedCompoundAnnotationTest.ivml}\\
 CnTCt1 & \class{collectionConstraints/constraintSetDerivedCompound.ivml}\\
 CnTCt2 & \class{collectionConstraints/constraintSetSetDerivedCompound.ivml}\\
@@ -1322,4 +1327,5 @@
 A2 & \class{attributes/IndividualAssign.ivml}\\
 A3 & \class{attributes/IndividualAssignNested.ivml}\\
+ACs1 & \class{attributes/ConstraintAnnotationTest.ivml}\\
 CnA3 & \class{attributes/CompoundIndividualAssign.ivml}\\
 Cs1 & \class{constraintVariables/constraintAssigned.ivml}\\
@@ -1329,5 +1335,5 @@
 CnFCt1 & \class{constraintVariables/QM\_constraintOrder.ivml}\\
 Ev1 & \class{evals/SimpleEval.ivml}\\
-Ev2 & \class{evals/NestedEval.ivml}\\
+CnEv1 & \class{evals/CompoundEval.ivml}\\
 \hline
 \end{tabular}