Move and rename isTransitiveParent.