Can't reproduce violation rerunning broken_floyd_mcs