MultiPhasesTransition: Transition range for a succession of phases (for phases in temporal order constraint)
Description
Finds if it exists the shortest interval [TransitionRangeInf, TransitionRangeSup] that satisfies : P(TransitionRangeInf < Phase1End < Phase2Beginning < TransitionRangeSup | M) = level