for variable assignments
Hint: Variables
, Invariants Variable sets
variable END [...] . Before reading variables [...] variable sInfo or ws
AbortInProgress variable no longer