Speed up updateDFSNumbers with two observations: