Lock may not be taken or released while rolling back procedure

    boolean reuseLock = false;
    while (stackTail --> 0) {
      final Procedure proc = subprocStack.get(stackTail);

      LockState lockState;
      //If reuseLock, then don't acquire the lock
      if (!reuseLock && (lockState = acquireLock(proc)) != LockState.LOCK_ACQUIRED) {
        return lockState;
      }

      lockState = executeRollback(proc);
      boolean abortRollback = lockState != LockState.LOCK_ACQUIRED;
      abortRollback |= !isRunning() || !store.isRunning();

      //If the next procedure in the stack is the current one, then reuseLock = true
      reuseLock = stackTail > 0 && (subprocStack.get(stackTail - 1) == proc) && !abortRollback;
      //If reuseLock, don't releaseLock
      if (!reuseLock) {
        releaseLock(proc, false);
      }

      if (abortRollback) {
        return lockState;
      }

      subprocStack.remove(stackTail);

      if (proc.isYieldAfterExecutionStep(getEnvironment())) {
        return LockState.LOCK_YIELD_WAIT;
      }

      //But, here, lock is released no matter reuseLock is true or false
      if (proc != rootProc) {
        execCompletionCleanup(proc);
      }
    }