auto range = std::equal_range(visited_pairs.begin(), visited_pairs.end(),
new_visited_pair, simgrid::mc::DerefAndCompareByNbProcessesAndUsedHeap());
for (auto i = range.first; i != range.second; ++i) {
simgrid::mc::VisitedPair* pair_test = *i;
auto range = std::equal_range(visited_pairs.begin(), visited_pairs.end(),
new_visited_pair, simgrid::mc::DerefAndCompareByNbProcessesAndUsedHeap());
for (auto i = range.first; i != range.second; ++i) {
simgrid::mc::VisitedPair* pair_test = *i;