Correct backwardPreorderBacktracingUntil()