PhasesTransition: Transition range between two successive 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