Index: /reasoner/reasoner.tex
===================================================================
--- /reasoner/reasoner.tex	(revision 93)
+++ /reasoner/reasoner.tex	(revision 94)
@@ -917,4 +917,6 @@
 \textbf{IVML concept} & \textbf{Spec} & \textbf{Transformation Path} & \textbf{Test}\\
 \hline
+ \multicolumn{4}{|c|}{Types (Top-level concepts)}\\
+\hline
 
 Decision variable & 2.1.4 & \tabAlgLine{algTranslateConstraints}{algTranslateConstraintsTranslationDeclaration}\tabAlgFollow\tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationTranslateDefault}  & \textit{all} \\
@@ -931,5 +933,5 @@
 
 \hline
- \multicolumn{4}{|c|}{Types (typed decision variable, starting in \tabAlg{algTranslateDeclaration})}\\
+ \multicolumn{4}{|c|}{Non-complex types (typed decision variable, starting in \tabAlg{algTranslateDeclaration})}\\
 \hline
 
@@ -970,4 +972,6 @@
 
 \hline
+ \multicolumn{4}{|c|}{Compound types}\\
+\hline
 
 Integer type & 2.1.3.1 & \tabAlgLines{algTranslateCompoundContent}{algTranslateCompoundDeclarationTranslateSlotsStart}{algTranslateCompoundDeclarationTranslateSlotsEnd}\tabAlgFollow\tabAlg{algTranslateDeclaration} $\ldots$ & ICo1, ICo2\\
@@ -987,5 +991,5 @@
 Container type & 2.1.3.3 & \tabAlgLines{algTranslateCompoundContent}{algTranslateCompoundDeclarationTranslateSlotsStart}{algTranslateCompoundDeclarationTranslateSlotsEnd}\tabAlgFollow\tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationTranslateContainer}\tabAlgFollow Table \ref{tab:completenessContainers} & \TBD{tests} \\
 
-Reference type & 2.2.3.2 & \tabAlgLines{algTranslateCompoundContent}{algTranslateCompoundDeclarationTranslateSlotsStart}{algTranslateCompoundDeclarationTranslateSlotsEnd}\tabAlgFollow\tabAlg{algTranslateDeclaration} $\ldots$ & \TBD{tests} \\
+Reference type & 2.2.3.2 & \tabAlgLines{algTranslateCompoundContent}{algTranslateCompoundDeclarationTranslateSlotsStart}{algTranslateCompoundDeclarationTranslateSlotsEnd}\tabAlgFollow\tabAlg{algTranslateDeclaration} $\ldots$ & RCn1, \TBD{tests} \\
 
 Constraint type & 3.10.1 & \tabAlgLines{algTranslateCompoundContent}{algTranslateCompoundDeclarationTranslateSlotsStart}{algTranslateCompoundDeclarationTranslateSlotsEnd}\tabAlgFollow\tabAlgLines{algTranslateDeclaration}{algTranslateDeclarationTranslateConstraintDefaultStart}{algTranslateDeclarationTranslateConstraintDefaultEnd} & CsCn1, CsCn2 \\
@@ -1008,5 +1012,5 @@
 \pagebreak
 
-\TBD{No annotation, assignment blocks and partial evaluation possible from IVML syntax. However, accessor-based access possible handled by variable declaration and \tabAlg{algTranslateDeclaration}.} 
+\TBD{No annotation, assignment blocks and partial evaluation possible from IVML syntax. Accessor-based access handled by \tabAlg{algTranslateDeclaration}.} 
 
 \begin{table*}[h]
@@ -1018,4 +1022,6 @@
 
 \hline
+% \multicolumn{4}{|c|}{Compound types}\\ % disabled due to page break/moving tables to the end
+%\hline
 
 Integer type & 2.1.3.1 & no action in \tabAlg{algTranslateContainerDeclaration}, cf. Sect. \ref{sectNotationOthers} & ICt1, ICt2\\
@@ -1070,4 +1076,7 @@
 \hline
 \textbf{IVML concept} & \textbf{Spec} & \textbf{Transformation Path} & \textbf{Test}\\
+\hline
+ \multicolumn{4}{|c|}{Annotations}\\
+\hline
 
 Integer type & 2.1.3.1 & \tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationTranslateAnnotationAccess}\tabAlgFollow\tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationTranslateDefault} & \TBD{tests} \\
@@ -1204,5 +1213,5 @@
 B2 & \class{boolean/BooleanAssignTest.ivml}\\
 B3 & \class{boolean/BooleanImpliesTest.ivml}\\
-BR1 & \class{boolean/BooleanRefAssignTest.ivml}\\
+BR1 & \class{boolean/BooleanRefAssignTest.ivml\footnote{A similar test is defined for all basic types.}}\\
 BCo1 & \class{boolean/BooleanInCompoundAssignTest.ivml}\\
 BCo3 & \class{boolean/BooleanInCompoundDefaultsTest.ivml}\\
@@ -1263,4 +1272,5 @@
 CnA2 & \class{attributes/BlockAssignNested.ivml}\\
 CnA3 & \class{attributes/BlockAssignNestedConstraint.ivml}\\
+RCn1 & \class{compounds/CompoundRefAssignTest1.ivml}\\
 A1 & \class{attributes/DefaultAssign.ivml}\\
 A2 & \class{attributes/IndividualAssign.ivml}\\