Predicate simpleLocalFlowStep
INTERNAL: do not use.
This is the local flow predicate that’s used as a building block in global
data flow. It may have less flow than the localFlowStep predicate.
Import path
import semmle.code.cpp.dataflow.internal.DataFlowUtilpredicate simpleLocalFlowStep(Node nodeFrom, Node nodeTo, string model)