Index: /reasoner/reasoner.tex
===================================================================
--- /reasoner/reasoner.tex	(revision 81)
+++ /reasoner/reasoner.tex	(revision 82)
@@ -43,4 +43,5 @@
 \newcommand\varSubstitutionOtherVarMapping[2]{\varSubstitution{#1}{#2, \variableMapping}}
 \newcommand\varSubstitutionSelfVarMapping[2]{\varSubstitutionOtherVarMapping{#1}{\IVMLself = #2}}
+\newcommand\tabAlg[1]{Alg.\ref{#1}}
 \newcommand\tabAlgLine[2]{Alg.\ref{#1},\ref{#2}}
 \newcommand\tabAlgLines[3]{Alg.\ref{#1},\ref{#2}-\ref{#3}}
@@ -913,12 +914,12 @@
 \begin{tabular}{|l|c||p{6cm}|p{5cm}|}
 \hline
-\textbf{IVML concept} & \textbf{Spec} & \textbf{Transformation} & \textbf{Test}\\
+\textbf{IVML concept} & \textbf{Spec} & \textbf{Transformation Trace} & \textbf{Test}\\
 \hline
-Decision variable & 2.1.4 & \tabAlgLine{algTranslateConstraints}{algTranslateConstraintsTranslationDeclaration}\tabAlgFollow\tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationTranslateDefault}  & \\
-Constraint & & \tabAlgLine{algTranslateConstraints}{algTranslateConstraintsTopLevelConstraints} & \\
-Constraint variable & & \tabAlgLine{algTranslateConstraints}{algTranslateConstraintsTranslationDeclaration}\tabAlgFollow\tabAlgLines{algTranslateDeclaration}{algTranslateDeclarationTranslateConstraintDefaultStart}{algTranslateDeclarationTranslateConstraintDefaultEnd}  & \\
-Annotation variable & & annotation defaults in  line \ref {algTranslateDeclarationAnnotationDefault} $\rightarrow$ Alg. \ref{algTranslateAnnotationDefaults} & \\
-Annotation assignment & 2.2.2 & Alg. \ref{algTranslateConstraints}, line \ref{algTranslateConstraintsTopLevelAnnotationAssignments} $\rightarrow$ Alg. \ref{algTranslateAnnotationAssignments} & \\
-Partial evaluation & 2.2.5.3 & Alg. \ref{algTranslateConstraints}, line \ref{algTranslateConstraintsTopLevelEvals} & \\
+Decision variable, default & 2.1.4 & \tabAlgLine{algTranslateConstraints}{algTranslateConstraintsTranslationDeclaration}\tabAlgFollow\tabAlgLine{algTranslateDeclaration}{algTranslateDeclarationTranslateDefault}  & \\
+Constraint & 2, 3 & \tabAlgLine{algTranslateConstraints}{algTranslateConstraintsTopLevelConstraints} & \\
+Constraint variable, default & 3.1.10 & \tabAlgLine{algTranslateConstraints}{algTranslateConstraintsTranslationDeclaration}\tabAlgFollow\tabAlgLines{algTranslateDeclaration}{algTranslateDeclarationTranslateConstraintDefaultStart}{algTranslateDeclarationTranslateConstraintDefaultEnd}  & \\
+Annotation variable, default & 2.2.2 & \tabAlgLine{algTranslateConstraints}{algTranslateConstraintsTranslationDeclaration}\tabAlgFollow\tabAlgLine{algTranslateDeclaration}{algTranslateConstraintsTopLevelAnnotationAssignments} & \\
+Annotation assignment & 2.2.2 & \tabAlgLine{algTranslateConstraints}{algTranslateConstraintsTopLevelAnnotationAssignments}\tabAlgFollow\tabAlg{algTranslateAnnotationAssignments} & \\
+Partial evaluation & 2.2.5.3 & \tabAlgLine{algTranslateConstraints}{algTranslateConstraintsTopLevelEvals} & \\
 \hline
  \multicolumn{4}{|c|}{Types}\\
@@ -950,5 +951,5 @@
 \begin{tabular}{|l|c||p{6cm}|p{5cm}|}
 \hline
-\textbf{IVML concept} & \textbf{Spec} & \textbf{Transformation} & \textbf{Test}\\
+\textbf{IVML concept} & \textbf{Spec} & \textbf{Transformation Trace} & \textbf{Test}\\
 \hline
 + Constraint & 2.1.3.5 & & \\