Rename isEarlierInSameTrace to isUsefulDominator.