Index: /reasoner/consTranslation.tex
===================================================================
--- /reasoner/consTranslation.tex	(revision 150)
+++ /reasoner/consTranslation.tex	(revision 151)
@@ -95,5 +95,5 @@
   \KwData{derived type constraints $\topLevelConstraints$}
   $cs \assng \bigcup_{t \in deref(allBase(t))} constraints(t)$\;
-  \If{$isContainer(t)$}{
+  \uIf{$isContainer(t)$}{
       $cs \assng \setWith{\createConstraint{\varSubstitutionOtherVarMapping{\IVML{forAll(i:}c\IVML{)}}{decl(t)=deref(t, i)}}}{c\in cs}$\;
   }\Else{
@@ -529,5 +529,4 @@
   \KwIn{constraint sequence $s$, constraint $c$, perform initializers $check$, variable $v$}
   \KwData{top level and other constraints $\topLevelConstraints, \otherConstraints$, variable mapping $\variableMapping$, relevant constraints $\relevantConstraintsPerDeclaration$ , incremental flag $inc$, evals flag $inEvals$}
-  \KwOut{$c$}
 
   $c = composeExpression(\variableMapping, c)$\;
@@ -549,5 +548,4 @@
      }
     }
-  \Return $c$\;
 
  \caption{Adds a constraint to the constraint base ($add$).}\label{algAddConstraint}