Index: /reasoner/reasoner.tex
===================================================================
--- /reasoner/reasoner.tex	(revision 32)
+++ /reasoner/reasoner.tex	(revision 33)
@@ -494,6 +494,7 @@
 \begin{algorithm}[H]
   \KwIn{constraint sequence $s$, constraint $c$, perform initializers $check$}
-  \KwData{variable mapping $\variableMapping$, relevant constraints $\relevantConstraints$ }
-  \If{$check$}{
+  \KwData{variable mapping $\variableMapping$, relevant constraints $\relevantConstraints$ , incremental $inc$}
+  \If{$\neg inc \vee (inc \wedge \neg isAssignment(c))$} {
+    \If{$check$}{
       \If{$isContainerInitializer(c)$} {
           $\usualConstraintsStageTwo \assng \usualConstraintsStageTwo \addSeq checkCompoundInitializer(c, m)$\;
@@ -501,8 +502,9 @@
           $\usualConstraintsStageTwo \assng \usualConstraintsStageTwo \addSeq checkCompoundInitializer(c, m)$\;
       }
-  }
-  $s \assng s \addSeq c$\;
-  \If{$\neg isSimpleConstraint(c)$}{
+    }
+    $s \assng s \addSeq c$\;
+    \If{$\neg isSimpleConstraint(c)$}{
       $\relevantConstraints \assng \relevantConstraints \cup \setWith{\mapEntry{v}{c}}{v\in variables(c)}$\; % assignConstraintsToVariables
+     }
    }
  \caption{Records and analyzes a constraint (add, \IVML{addConstraint}).}\label{algAddConstraint}