Holds if n is a node in the graph of data flow path explanations.
Import path
import semmle.code.cpp.ir.dataflow.MustFlow
predicate
nodes
(
MustFlowPathNode
n
,
string
key
,
string
val
)