Predicate definitionByReferenceNodeFromArgument
Gets the Node corresponding to a definition by reference of the variable
that is passed as argument of a call.
Import path
import semmle.code.cpp.dataflow.internal.DataFlowUtil