Predicate getNodeEnclosingCallable
Gets the enclosing callable of n. Unlike n.getEnclosingCallable(), this
predicate ensures that joins go from n to the result instead of the other
way around.
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowImplCommon