Debugging synchronizing move