testee timeout Global [...] for variables) <invariants [...] of a variable
: $GLOBAL.Counter < 5 Hint: Variables