Modeling Message Reordering

[dasblinkenlight]

How do I model message reordering while testing in P? Failure Detector tutorial hints that this is possible, because there is a section reserved for it. However, the section remains empty ("to be added soon"). Could anyone please describe an approach that would let me test with messages coming out-of-order?