We had some problems with messages between nodes being delayed by the VM, resulting in part of the trace arriving after we had decided the test was complete. This happens sufficiently rarely that we could use an ?IMPLIES to simply discard such cases.