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.Dependency
predicate dependsOnTransitive(DependsSource src, Element dest)