A minor bug needs to be fixed in the FinishingTime computation of the Reversed Graph.