isTransitivelyReferredBy() added.