if (xbt_fifo_size(mc_stack) > _sg_mc_max_depth) {
XBT_WARN("/!\\ Max depth reached ! /!\\ ");
} else if (visited_state != -1) {
if (xbt_fifo_size(mc_stack) > _sg_mc_max_depth) {
XBT_WARN("/!\\ Max depth reached ! /!\\ ");
} else if (visited_state != -1) {