Predicate exprNode
Gets the Node corresponding to the value of evaluating e. For data
flowing out of an expression, like when an argument is passed by
reference, use definitionByReferenceNodeFromArgument instead.
Import path
import semmle.code.cpp.dataflow.internal.DataFlowUtil