as BOOL, where TRUE [...] . IF (Assert_Bool [...] _THEN Assert_Bool

Execute BOOL VAR [...] Abort BOOL VAR [...] GetTestInfo BOOL VAR_INPUT TRUE

Execute BOOL VAR [...] Abort BOOL VAR [...] Busy BOOL VAR_OUTPUT TRUE

-expr { bool-or and [...] bool-and expr } expr [...] REAL bool-and ::=

. Because IN is an input (type BOOL ), [...] . Because IN is an output (type BOOL ),

. Comparison Operator ( BOOL [...] . Assignments ( BOOL )

: BOOL Instance Path

TM.Assert_Bool [...] reached limit TM.Assert_Bool

for any occasion TM.Assert_Bool