Predicate dependsOnTransitive
Holds if src is related to dest by one dependsOnSimple and any
number of dependsOnViaTemplate steps.
Consider using Symbol.getADependentElement() rather than directly
accessing this predicate.
Import path
import semmle.code.cpp.commons.Dependencypredicate dependsOnTransitive(DependsSource src, Element dest)