Issue - 166 - Does atomicity in assign imply variable locking?

int counter
counter = 0
flow
    sequence
       counter = counter + 1;
       if (counter == 2) {
          throw "counter is 2"
       }
    sequence
       counter = counter + 1;
       if (counter == 2) {
          throw "counter is 2"
       }