Index: /reasoner/reasoner.tex
===================================================================
--- /reasoner/reasoner.tex	(revision 91)
+++ /reasoner/reasoner.tex	(revision 92)
@@ -674,6 +674,6 @@
       \uIf{$isConstraint(t_b)$} {
           $add(\otherConstraints, \setWith{\createConstraint{\varSubstitutionSelfVarMapping{e}{ca}}}{e \in allElements(val)}, true)$\; \label{algTranslateContainerDeclarationConstraintContainer}
-      } \ElseIf{$isCompound(t_b)$} {
-           \If{$val \neq \undef$} {
+      } \ElseIf{$isCompound(t_b)$} {\label{algTranslateContainerDeclarationCompoundContainerStart}
+           \uIf{$val \neq \undef$} {
               $used \assng \setWithFlat{base(u)}{u \in usedTypes(val) \wedge isContainer(base(u))}$\; \label{algTranslateContainerDeclarationUsedTypesDefault}
               $used \assng used \setminus \setWithFlat{allRefines(u)}{u \in used}$\; \label{algTranslateContainerDeclarationUsedTypesPrune}
@@ -683,5 +683,5 @@
               \ForAll{$u \iterAssng used$}{\label{algTranslateContainerDeclarationCompoundContainerDefaultsStart}
                    $translateCompoundContainer(d, u, t_n, ca)$\;
-               }\label{algTranslateContainerDeclarationCompoundContainerDefaultsEnd}
+               }\label{algTranslateContainerDeclarationCompoundContainerDefaultsEnd}\label{algTranslateContainerDeclarationCompoundContainerEnd}
     %           $used \assng used \setminus \setWith{allRefines(u)}{u \in used}$\;
      %          \lIf{$|used| = 0$}{$used \assng \set{base(contained(d))}$}
@@ -724,6 +724,6 @@
       }
     $pushContext(\variableMapping, \undef, e, l)$\;
-    $registerCompoundMapping(t, l, d, t)$\;
-    $translateCompoundContent(l, \undef, t, ca)$\;
+    $registerCompoundMapping(t, l, d, t)$\; \label{algTranslateDefaultsCompoundContainerMapping}
+    $translateCompoundContent(l, \undef, t, ca)$\; \label{algTranslateDefaultsCompoundContainerContent}
     $popContext()$\;
  \caption{Translating constraints for compound containers (\IVML{translateCompoundContainer}).}\label{algTranslateCompoundContainer}
@@ -1031,5 +1031,5 @@
 Derived type & 2.1.3.4 & \tabAlgLine{algTranslateContainerDeclaration}{algTranslateContainerDeclarationDerivedTypes}\tabAlgFollow\tabAlg{algTranslateDeclaration} & ITCt1, ITCt2 \\
 
-Compound type & 2.1.3.5 & \TBD{??} & \TBD{tests} \\
+Compound type & 2.1.3.5 & \tabAlgLines{algTranslateContainerDeclaration}{algTranslateContainerDeclarationCompoundContainerStart}{algTranslateContainerDeclarationCompoundContainerEnd}\tabAlgFollow\tabAlgLines{algTranslateCompoundContainer}{algTranslateDefaultsCompoundContainerMapping}{algTranslateDefaultsCompoundContainerContent}\tabAlgFollow\tabAlgLines{algTranslateCompoundContent}{algTranslateCompoundDeclarationTranslateSlotsStart}{algTranslateCompoundDeclarationTranslateSlotsEnd}\tabAlgFollow\tabAlg{algTranslateDeclaration} $\ldots$ & \TBD{tests} \\
 
 Derived Compound Type & \TBD{??} & \tabAlgLine{algTranslateContainerDeclaration}{algTranslateContainerDeclarationDerivedTypes} \tabAlgFollow \tabAlg{algTranslateDerivedDatatypeConstraints}  & ITCnCt1, ITCnCt2 \\