Index: /reasoner/evaluation.tex
===================================================================
--- /reasoner/evaluation.tex	(revision 172)
+++ /reasoner/evaluation.tex	(revision 173)
@@ -68,5 +68,6 @@
        c_{cpx}(expr(e)) & \text{if } isIter(e)\\
        c_{cpx}(expr(e)) & \text{if } isAccessor(e)\\
-       c_{cpx}(expr(e)) + c_{cpx}(then(e)) + c_{cpx}(else(e)) & \text{if } isIfThen(e)\\
+       c_{cpx}(expr(e)) + c_{cpx}(then(e)) + & \\
+       \text{ }c_{cpx}(else(e)) & \text{if } isIfThen(e)\\
        \sum_{e\in expressions(e)}c_{cpx}(e) & \text{if } isInitializer(e)\\ % compound + container
        \sum_{e\in expressions(e)}c_{cpx}(e) & \text{if } isBlock(e)\\ 
@@ -104,5 +105,5 @@
 $$
 
-For short, we enable considering nested variables and the contents of expressions. Compounds and containers are considered with a double weight compared with all other types. Most of the constraint tree nodes are weighted by 1 including access to the actual instance of a compound (\IVMLself{}), except for container iterator operations that we weight by a higher and access to the value of decision variables and constants that we weight by a lower value. For a given IVML model, we just calculate $cpx_v(cfg) + cpx_c(cfg)$ as overall complexity measure.
+For short, we enable considering nested variables and the contents of expressions. Compounds and containers are considered with a double weight compared with all other types. Most of the constraint tree nodes are weighted by 1 including access to the actual instance of a compound (\IVMLself{}), except for container iterator operations that we weight by a higher and access to the value of decision variables and constants that we weight by a lower value. For a given IVML model, we calculate $cpx_v(cfg) + cpx_c(cfg)$ as overall complexity measure, because ratio-based measures as in the more homogeneous feature case mentioned above do not seem to correctly reflect the complexity of IVML models.
 
 \subsection{Results}\label{sectResults}