// This assumption is wrong (as messages from differing round can interleave), leading to a bug in our code.
// We failed to find this bug directly, as it only occured on large platforms, leading to hardly usable traces.
// Instead, we used the model-checker to track down the issue by adding the following test here in the code:
// This assumption is wrong (as messages from differing round can interleave), leading to a bug in our code.
// We failed to find this bug directly, as it only occured on large platforms, leading to hardly usable traces.
// Instead, we used the model-checker to track down the issue by adding the following test here in the code: