Index: /reasoner/reasoner.tex
===================================================================
--- /reasoner/reasoner.tex	(revision 59)
+++ /reasoner/reasoner.tex	(revision 60)
@@ -437,9 +437,9 @@
       \uIf{$isCompound(t)$}{
             $s \assng d$\;
-            $translateCompoundDeclaration(d, v, ca, t)$\;
+            $translateCompoundDeclaration(d, v, ca, t)$\; \label{algTranslateDeclarationTranslateCompound}
        } \uElseIf{$ isContainer(type(d)) $}{ \label{algTranslateDeclarationHasDefault}
-            $translateContainerDeclaration(d, v, t)$\;
+            $translateContainerDeclaration(d, v, t)$\; \label{algTranslateDeclarationTranslateContainer}
        } \uElseIf{$dflt \neq \undef \wedge \neg inc$}{
-          \lIf{$ca \neq \undef$}{$s \assng ca$}
+          \lIf{$ca \neq \undef$}{$s \assng ca$} \label{algTranslateDeclarationTranslateInCompound}
       }\lElseIf{$inc$}{$ dflt \assng \undef $}
       \If{$ deflt \neq \undef $}{ 
@@ -449,5 +449,5 @@
           $dflt \assng \varSubstitutionSelfVarMapping{dflt}{s}$\;
           \uIf{$isConstraint(type(d))$}{
-              $createConstraintVariableConstraint(dflt, s, v)$\;
+              $createConstraintVariableConstraint(dflt, s, v)$\; \label{algTranslateDeclarationConstraintVariableConstraint}
           }\Else{ 
              \lIf{$\IVMLself{} \in dflt \vee isOverridenSlot(d)$}{$dfltS \assng \deferredDefaultConstraints$}\lElse{$dfltS \assng \defaultConstraints$}
@@ -772,5 +772,5 @@
 \textbf{IVML concept} & \textbf{Spec} & \textbf{Transformation} \\
 \hline
-Decision variable & 2.1.4 & Alg. \ref{algTranslateConstraints}, line \ref{algTranslateConstraintsTranslationDeclaration} $\rightarrow$ Alg. \ref{algTranslateDeclaration} for default values, basic/enum values in lines \ref {algTranslateDeclarationHasDefault}, \ref{algTranslateDeclarationTranslateDefault}; annotation defaults in  line \ref {algTranslateDeclarationAnnotationDefault} $\rightarrow$ Alg. \ref{algTranslateAnnotationDefaults}\\
+Decision variable & 2.1.4 & Alg. \ref{algTranslateConstraints}, line \ref{algTranslateConstraintsTranslationDeclaration} $\rightarrow$ Alg. \ref{algTranslateDeclaration}, \ref{algTranslateDeclarationTranslateDefault}; annotation defaults in  line \ref {algTranslateDeclarationAnnotationDefault} $\rightarrow$ Alg. \ref{algTranslateAnnotationDefaults}\\
 Constraint & & Alg. \ref{algTranslateConstraints}, line \ref{algTranslateConstraintsTopLevelConstraints} \\
 Annotation assignment & 2.2.2 & Alg. \ref{algTranslateConstraints}, line \ref{algTranslateConstraintsTopLevelAnnotationAssignments} $\rightarrow$ Alg. \ref{algTranslateAnnotationAssignments} \\
@@ -783,25 +783,25 @@
 Derived type & 2.1.3.4 & Alg. \ref{algTranslateDeclaration}, line \ref{algTranslateDeclarationDerivedDatatype} $\rightarrow$ Alg. \ref{algTranslateDerivedDatatypeConstraints} \\
 Reference type & 2.2.3.2 & no specific constraints, cf. Section \ref{sectNotationOthers} \\
-Constraint type & 3.10.1 & no specific constraints, cf. Section \ref{sectNotationOthers} \\
-Compound type  & 2.1.3.5 & \\
+Constraint type & 3.10.1 & no specific constraints, cf. Section \ref{sectNotationOthers}, constraint value in \ref{algTranslateDeclaration} line \ref{algTranslateDeclarationConstraintVariableConstraint} \\
+Compound type  & 2.1.3.5 & complex value: Alg. \ref{algTranslateDeclaration} line \ref{algTranslateDeclarationTranslateCompound} $\rightarrow$ Alg.\ref{algTranslateCompoundDeclaration} \\
 + Basic type & 2.1.3.1 & no specific constraints, cf. Section \ref{sectNotationOthers} \\
 + Enum type & 2.1.3.2 & no specific constraints, cf. Section \ref{sectNotationOthers} \\
-+ Derived type & 2.1.3.4 & \\
-+ Compound type & 2.1.3.5 & \\
++ Derived type & 2.1.3.4 &  Alg. \ref{algTranslateDeclaration} line \ref{algTranslateDeclarationDerivedDatatype} $\rightarrow$ Alg.\ref{algTranslateDerivedDatatypeConstraints} \\
++ Compound type & 2.1.3.5 & Alg. \ref{algTranslateDeclaration} line \ref{algTranslateDeclarationTranslateCompound} $\rightarrow$ Alg.\ref{algTranslateCompoundDeclaration} \\
 + Container type & 2.1.3.3 & \\
 + Reference type & 2.2.3.2 & no specific constraints, cf. Section \ref{sectNotationOthers} \\
-+ Constraint type & 3.10.1 & no specific constraints, cf. Section \ref{sectNotationOthers}\\
++ Constraint type & 3.10.1 & no specific constraints, cf. Section \ref{sectNotationOthers}, constraint value in \ref{algTranslateDeclaration} line \ref{algTranslateDeclarationConstraintVariableConstraint} via compound access line \ref{algTranslateDeclarationTranslateInCompound} \\
 + Constraint & 2.1.3.5 & \\
 + Refined compounds & 2.2.3.1 & \\
 + Partial evaluation & 2.2.5.3 & \\
 + Assignment block & 2.2.2 & \\
-Container type & 2.1.3.3 & \\
+Container type & 2.1.3.3 & complex value: Alg. \ref{algTranslateDeclaration} line \ref{algTranslateDeclarationTranslateContainer} $\rightarrow$ Alg. \ref{algTranslateContainerDeclaration} \\
 + Basic type & 2.1.3.1 & no specific constraints, cf. Section \ref{sectNotationOthers} \\
 + Enum type & 2.1.3.2 & no specific constraints, cf. Section \ref{sectNotationOthers} \\
-+ Derived type & 2.1.3.4 & \\
++ Derived type & 2.1.3.4 & Alg. \ref{algTranslateDeclaration} line \ref{algTranslateDeclarationDerivedDatatype} $\rightarrow$ Alg.\ref{algTranslateDerivedDatatypeConstraints} \\
 + Compound type & 2.1.3.5 & \\
 + Container type & 2.1.3.3 & \\
 + Reference type & 2.2.3.2 & no specific constraints, cf. Section \ref{sectNotationOthers} \\
-+ Constraint type & 3.10.1 & no specific constraints, cf. Section \ref{sectNotationOthers} \\
++ Constraint type & 3.10.1 & no specific constraints, cf. Section \ref{sectNotationOthers} \TBD{constraint value} \\
 Annotation of & 2.2.2 & \\
 + Basic type & 2.1.3.1 & no specific constraints, cf. Section \ref{sectNotationOthers} \\