From 6b82358397749e2947f14a447a5e5ac9542a380a Mon Sep 17 00:00:00 2001
From: Tomaz <tomgm1502@gmail.com>
Date: Thu, 2 May 2024 11:39:28 +0200
Subject: [PATCH] documenting order of declaration

---
 doc/IMITATOR-user-manual.tex | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/doc/IMITATOR-user-manual.tex b/doc/IMITATOR-user-manual.tex
index 8fda1fa3..b96b3216 100644
--- a/doc/IMITATOR-user-manual.tex
+++ b/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.