progress = MSG_task_get_remaining_work_ratio(task);
xbt_assert(progress >= 0 and progress < 1, "Progress should be in [0, 1[, and not %f", progress);
xbt_assert(progress < progress_prev, "Progress should decrease, not increase");
progress = MSG_task_get_remaining_work_ratio(task);
xbt_assert(progress >= 0 and progress < 1, "Progress should be in [0, 1[, and not %f", progress);
xbt_assert(progress < progress_prev, "Progress should decrease, not increase");