Index: /reasoner/reasoner.tex
===================================================================
--- /reasoner/reasoner.tex	(revision 25)
+++ /reasoner/reasoner.tex	(revision 26)
@@ -132,11 +132,11 @@
       %evaluator.setResolutionListener(Algorithm \ref{algVarChange})\;
       %evaluator.setScopeAssignments(sAssng)\;
+      $\variableMapping \assng \set{}$\; % clear
       $base \assng translateDefaults(p, cfg, t)$\;
       $base \assng base \addSeq translateConstraints(p, t, inc)$\;
       $evaluateConstraints(p, base)$\;
       $freeze(p)$\;
-      %evaluator.clear()\;
-  }
-  $r \assng createReasoningResult(m)$
+  }
+  $r \assng createReasoningResult(m)$\;
   \caption{Main reasoning loop (\IVML{resolve}).}\label{algMainLoop}
 \end{algorithm}
@@ -492,4 +492,5 @@
   \KwData{constraint $base$ , variable mapping $\variableMapping$ \TBD{join, reorder, beautify, leave out non-incremental on-the-fly}}
 
+  \MISSING{Late substitution is wrong as only the lastest mapping is available.}\;
    $c_s \assng \set{}$\;  
    \If{$\neg inc$} {