And also for for-loops.

chapters/statements.tex

@@ -177,6 +177,10 @@ \subsection{For-Statement}\label{for-statement}
 \end{lstlisting}
 The rules for \lstinline!for!-statements are the same as for \lstinline!for!-expressions in \cref{explicit-iteration-ranges-of-for-equations} -- except that the \lstinline!expression! of a \lstinline!for!-statement is not restricted to a parameter-expression.
 
+If the \lstinline!for!-statement contains expressions that will generate events the range should be an evaluable expression.
+\begin{nonnormative}
+The same event-generating expression in different iterations of the for-loop are seen as different crossing functions, and the restriction ensures that their number is known during translation time.
+\end{nonnormative}
 \begin{example}
 \begin{lstlisting}[language=modelica]
 for i in 1 : 10 loop // i takes the values 1, 2, 3, $\ldots$, 10