> [0.000000] [mc_comm_determinism/INFO] The recv communications pattern of the process 0 is different! Different source for communication #2
> [0.000000] [mc_comm_determinism/INFO] Expanded states = 520
> [0.000000] [mc_comm_determinism/INFO] Visited states = 1476
-> [0.000000] [mc_comm_determinism/INFO] Executed transitions = 1312
+> [0.000000] [mc_comm_determinism/INFO] Executed transitions = 519
> [0.000000] [mc_comm_determinism/INFO] Send-deterministic : Yes
> [0.000000] [mc_comm_determinism/INFO] Recv-deterministic : No