Two threads were trying to move the same TSO. I like this test, it has caught plenty of bugs in the past.