Ben's order:
B then A (opposite)
A then B (same as Ana)
Ana takes a step
Ben takes a step
Random step
Reset
Each step either succeeds or leaves the worker waiting. If both workers are waiting on each other, that is a deadlock.