std::shared_ptr<VisitedPair> insertAcceptancePair(simgrid::mc::Pair* pair);
int insertVisitedPair(std::shared_ptr<VisitedPair> visited_pair, simgrid::mc::Pair* pair);
void showAcceptanceCycle(std::size_t depth);
void replay();
void removeAcceptancePair(int pair_num);
std::shared_ptr<VisitedPair> insertAcceptancePair(simgrid::mc::Pair* pair);
int insertVisitedPair(std::shared_ptr<VisitedPair> visited_pair, simgrid::mc::Pair* pair);
void showAcceptanceCycle(std::size_t depth);
void replay();
void removeAcceptancePair(int pair_num);