as BOOL, where TRUE [...] . IF (Assert_Bool [...] _THEN Assert_Bool
cycleCounter : INT [...] TM.Assert_Bool [...] reached limit TM.Assert_Bool
INT; // independant [...] for any occasion TM.Assert_Bool