Index: /reasoner/reasoner.tex
===================================================================
--- /reasoner/reasoner.tex	(revision 110)
+++ /reasoner/reasoner.tex	(revision 111)
@@ -746,4 +746,5 @@
   }
   \leIf{$ca \neq \undef$}{$f\assng ca$}{$f\assng d$}\label{algTranslateCompoundDeclarationSelf}
+\MISSING{Register constraints for creating compound constraints (value is constraint value) }\;
   $eval \assng \setWithFlat{allEvalConstraints(r)}{r\in allRefines^+(t) \text{ } \setminus \text{ } excludedTypes(t)}$\;\label{algTranslateCompoundDeclarationEvalStart}
   $add(\otherConstraints, \setWith{attach(\createConstraint{\varSubstitutionSelfVarMapping{c}{f}}, currentType(\variableMapping))}{c\in eval}, true)$\;\label{algTranslateCompoundDeclarationEvalEnd}