Predicate nodeToDefOrUse
INTERNAL: Do not use.
Holds if node is the node that corresponds to the definition or use at
index i in block bb of sv.
uncertain is true if this is an uncertain definition.
Import path
import semmle.code.cpp.ir.dataflow.internal.SsaInternalspredicate nodeToDefOrUse(Node node, SourceVariable sv, IRBlock bb, int i, boolean uncertain)