The activeStateTransition() call in the if condition acquires a mutex, but it is released before the interruptionCtx is actually returned, leading to this data race. We should explicitly acquire the mutex and check the condition rather than calling into the other helper.