documenting order of declaration

doc/IMITATOR-user-manual.tex

@@ -2105,6 +2105,10 @@ \section{Model templates}\label{section:templates}
 \end{IMITATORmodel}
 \end{example}
 
+Currently, it is necessary to first declare all templates, then declare all old-style
+automatons, and, lastly, apply all desired instantiations. Similarly, declarations
+of syntatic variables must come after declarations of regular variables.
+
 Note that this is a purely syntactic feature; \imitator{} does not implement algorithms to handle a parameterized number of automata.
 In practice, a simple preprocessing step translates the templates into standard \IPTA{}s.