if (r1->storage_type() == simgrid::mc::StorageType::Privatized) {
xbt_assert(process_index >= 0);
if (r2->storage_type() != simgrid::mc::StorageType::Privatized)
if (r1->storage_type() == simgrid::mc::StorageType::Privatized) {
xbt_assert(process_index >= 0);
if (r2->storage_type() != simgrid::mc::StorageType::Privatized)