mustache/tla/operator_run.mustache in tla-sbuilder-0.1.0 vs mustache/tla/operator_run.mustache in tla-sbuilder-0.2.1

@@ -4,5 +4,6 @@
 ProcessRunning( stepdefs )    == {}     \* Head( stepdefs )
 ProcessParameter( stepdefs )  == {}     \* Head( stepdefs )
 ProcessesToRun( stepdefs )    == {}     \* Tail( stepdefs )
 
 TickNext( t )   == t + 1                \* advance time (when process start)
+InTransaction   == FALSE                \* TRUE when application service running, FALSE when not